quotient.ML
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