Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 13 May 2010 07:41:18 +0200] rev 2121
Make Term4 use 'equivariance'.
Christian Urban <urbanc@in.tum.de> [Wed, 12 May 2010 16:59:53 +0100] rev 2120
fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy
Christian Urban <urbanc@in.tum.de> [Wed, 12 May 2010 16:33:50 +0100] rev 2119
merged
Christian Urban <urbanc@in.tum.de> [Wed, 12 May 2010 16:33:25 +0100] rev 2118
moved the data-transformation into the parser
Christian Urban <urbanc@in.tum.de> [Wed, 12 May 2010 16:26:06 +0100] rev 2117
added a test whether some of the constants already equivariant (then the procedure has to fail).
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 12 May 2010 16:57:01 +0200] rev 2116
include set_simps and append_simps in fv_rsp
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 12 May 2010 16:39:10 +0200] rev 2115
Move alpha_eqvt to unused.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 12 May 2010 16:32:44 +0200] rev 2114
Use equivariance instead of alpha_eqvt