| Thu, 11 Feb 2010 10:06:02 +0100 | Cezary Kaliszyk | Main renaming + fixes for new Isabelle in IntEx2. | file | diff | annotate |
| Sun, 24 Jan 2010 23:41:27 +0100 | Christian Urban | test with splits | file | diff | annotate |
| Wed, 23 Dec 2009 10:31:54 +0100 | Christian Urban | corrected map declarations for Sum and Prod; moved absrep_fun examples in separate file | file | diff | annotate |
| Fri, 11 Dec 2009 17:22:26 +0100 | Cezary Kaliszyk | Merge + Added LarryInt & Fset3 to tests. | file | diff | annotate |
| Fri, 11 Dec 2009 15:58:15 +0100 | Christian Urban | added Int example from Larry | file | diff | annotate |
| Thu, 10 Dec 2009 18:28:30 +0100 | Christian Urban | added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages | file | diff | annotate |
| Thu, 10 Dec 2009 04:23:13 +0100 | Christian Urban | moved the interpretation code into Unused.thy | file | diff | annotate |