Quot/quotient_info.ML
2009-12-09 Christian Urban more proofs in IntEx2
2009-12-09 Cezary Kaliszyk Exception handling.
2009-12-09 Cezary Kaliszyk Different syntax for definitions that allows overloading and retrieving of definitions by matching whole constants.
2009-12-08 Christian Urban properly set up the prs_rules
2009-12-08 Christian Urban changed names of attributes
2009-12-08 Christian Urban added a thm list for ids
2009-12-08 Christian Urban removed a fixme: map_info is now checked
less more (0) tip