2009-12-19 | Christian Urban | renamed "quotient" command to "quotient_type"; needs new keyword file to be installed | file | diff | annotate |
2009-12-11 | Cezary Kaliszyk | New syntax for definitions. | file | diff | annotate |
2009-12-10 | Christian Urban | added an attempt to get a finite set theory | file | diff | annotate |