Christian Urban <urbanc@in.tum.de> [Thu, 18 Feb 2010 23:07:28 +0100] rev 1194
start work with the parser
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 18 Feb 2010 18:33:53 +0100] rev 1193
Full alpha equivalence + testing in terms. Some differ but it seems the generated version is more correct.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 18 Feb 2010 15:03:09 +0100] rev 1192
First (non-working) version of alpha-equivalence
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 18 Feb 2010 13:36:38 +0100] rev 1191
Description of the fv procedure.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 18 Feb 2010 12:06:59 +0100] rev 1190
Testing auto constant lifting.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 18 Feb 2010 11:28:20 +0100] rev 1189
Fix for new Isabelle (primrec)
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 18 Feb 2010 11:19:16 +0100] rev 1188
Automatic lifting of constants.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 18 Feb 2010 10:01:48 +0100] rev 1187
Changed back to original version of trm5