Christian Urban <urbanc@in.tum.de> [Thu, 13 May 2010 17:41:28 +0100] rev 2128
tuned the paper
Christian Urban <urbanc@in.tum.de> [Thu, 13 May 2010 16:09:34 +0100] rev 2127
properly declared outer keyword
Christian Urban <urbanc@in.tum.de> [Thu, 13 May 2010 15:58:36 +0100] rev 2126
added an example which goes outside our current speciifcation
Christian Urban <urbanc@in.tum.de> [Thu, 13 May 2010 15:58:02 +0100] rev 2125
made out of STEPS a configuration value so that it can be set individually in each file
Christian Urban <urbanc@in.tum.de> [Thu, 13 May 2010 15:12:34 +0100] rev 2124
tuned eqvt-proofs about prod_rel and prod_fv
Christian Urban <urbanc@in.tum.de> [Thu, 13 May 2010 15:12:05 +0100] rev 2123
removed internal functions from the signature (they are not needed anymore)
Christian Urban <urbanc@in.tum.de> [Thu, 13 May 2010 10:34:59 +0100] rev 2122
added term4 back to the examples
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