Wed, 12 May 2010 16:59:53 +0100 Christian Urban fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy
Wed, 12 May 2010 16:33:50 +0100 Christian Urban merged
Wed, 12 May 2010 16:33:25 +0100 Christian Urban moved the data-transformation into the parser
Wed, 12 May 2010 16:26:06 +0100 Christian Urban added a test whether some of the constants already equivariant (then the procedure has to fail).
(0) -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip