Quot/ROOT.ML
2010-01-24 Christian Urban test with splits
2009-12-23 Christian Urban corrected map declarations for Sum and Prod; moved absrep_fun examples in separate file
2009-12-11 Cezary Kaliszyk Merge + Added LarryInt & Fset3 to tests.
2009-12-11 Christian Urban added Int example from Larry
2009-12-10 Christian Urban added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages
2009-12-10 Christian Urban moved the interpretation code into Unused.thy
2009-12-08 Christian Urban corrected name of FSet in ROOT.ML
2009-12-07 Christian Urban isabelle make tests all examples
2009-12-07 Christian Urban added "end" to each example theory
2009-12-07 Christian Urban directory re-arrangement
less more (0) tip