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