| 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 |