2010-01-05 | Cezary Kaliszyk | merge | file | diff | annotate |
2010-01-05 | Cezary Kaliszyk | Trying the proof | file | diff | annotate |
2010-01-05 | Christian Urban | merged | file | diff | annotate |
2010-01-05 | Cezary Kaliszyk | Struggling with composition | file | diff | annotate |
2010-01-05 | Cezary Kaliszyk | Trying to state composition quotient. | file | diff | annotate |
2010-01-05 | Christian Urban | proper handling of error messages (code copy - maybe this can be avoided) | file | diff | annotate |