Wed, 05 May 2010 09:23:10 +0200 Cezary Kaliszyk Some cleaning in Term4
Tue, 04 May 2010 17:25:58 +0200 Cezary Kaliszyk "isabelle make" compiles all examples with newparser/newfv/newalpha only.
Tue, 04 May 2010 17:15:21 +0200 Cezary Kaliszyk Move Term4 to NewParser
Tue, 04 May 2010 16:59:31 +0200 Cezary Kaliszyk Fix Term4 for permutation signature change
Tue, 04 May 2010 16:44:12 +0200 Cezary Kaliszyk Move LF to NewParser. Just works.
Tue, 04 May 2010 16:42:36 +0200 Cezary Kaliszyk merge
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 tip