2010-05-13 | Christian Urban | made out of STEPS a configuration value so that it can be set individually in each file | changeset | files |
2010-05-13 | Christian Urban | tuned eqvt-proofs about prod_rel and prod_fv | changeset | files |
2010-05-13 | Christian Urban | removed internal functions from the signature (they are not needed anymore) | changeset | files |
2010-05-13 | Christian Urban | added term4 back to the examples | changeset | files |
2010-05-13 | Cezary Kaliszyk | Make Term4 use 'equivariance'. | changeset | files |
2010-05-12 | Christian Urban | fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy | changeset | files |
Loading... |