Christian Urban <urbanc@in.tum.de> [Fri, 30 Apr 2010 14:21:18 +0100] rev 2002
added eqvt-lemmas for Bex, Ball and Union
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Apr 2010 15:45:39 +0200] rev 2001
NewParser with Parser functionality, but some cheats included since the order of datayupes is wrong.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Apr 2010 14:48:13 +0200] rev 2000
Merged nominal_datatype into NewParser until eqvts
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Apr 2010 13:57:59 +0200] rev 1999
more parser/new parser synchronization.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Apr 2010 10:48:48 +0200] rev 1998
Simplify old parser for integration
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Apr 2010 10:32:34 +0200] rev 1997
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Apr 2010 10:31:32 +0200] rev 1996
Change signature of fv and alpha generation.