quotient.ML
2009-10-21 Christian Urban tuned and attempted to store data about the quotients (does not work yet)
2009-10-20 Christian Urban started to write code for storing data about the quotients
2009-10-19 Christian Urban moved the map-info and fun-info section to quotient.ML
2009-10-18 Christian Urban slight fix and tuning
2009-10-17 Christian Urban the command "quotient" can now define more than one quotient at the same time; quotients need to be separated by and
2009-10-12 Christian Urban tuned
2009-10-12 Christian Urban slightly modified the parser
2009-10-12 Christian Urban deleted diagnostic code
2009-10-12 Christian Urban added quotient command (you need to update isar-keywords-prove.el)
2009-10-12 Christian Urban started some strange functions
2009-10-08 Christian Urban exported parts of QuotMain into a separate ML-file
less more (0) tip