Quot/quotient_info.ML
2009-12-26 Christian Urban tuned
2009-12-23 Christian Urban used Local_Theory.declaration for storing quotdata
2009-12-23 Christian Urban renamed some fields in the info records
2009-12-22 Christian Urban added "Highest Priority" category; and tuned slightly code
2009-12-22 Christian Urban added a print_maps command; updated the keyword file accordingly
2009-12-19 Christian Urban avoided global "open"s - replaced by local "open"s
2009-12-19 Christian Urban various tunings; map_lookup now raises an exception; addition to FIXME-TODO
2009-12-17 Christian Urban minor cleaning
2009-12-15 Christian Urban some commenting
2009-12-10 Christian Urban added maps-printout and tuned some comments
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
2009-12-07 Christian Urban final move
less more (0) tip