Nominal/Manual/Term4.thy
2010-05-17 Christian Urban made this example to work again
2010-05-13 Cezary Kaliszyk Make Term4 use 'equivariance'.
2010-05-12 Christian Urban fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy
2010-05-05 Cezary Kaliszyk Some cleaning in Term4
2010-05-04 Cezary Kaliszyk Move Term4 to NewParser
2010-05-04 Cezary Kaliszyk Fix Term4 for permutation signature change
2010-04-20 Cezary Kaliszyk All lifted in Term4. Requires new isabelle.
2010-04-16 Cezary Kaliszyk Lifting in Term4.
2010-04-15 Cezary Kaliszyk More on Manual/Trm4
2010-04-15 Cezary Kaliszyk alpha4_equivp and constant lifting.
2010-04-15 Cezary Kaliszyk alpha4_eqvt and alpha4_reflp
2010-04-15 Cezary Kaliszyk fv_eqvt in term4
2010-04-15 Cezary Kaliszyk Updating in Term4.
2010-04-15 Christian Urban changed header
2010-03-23 Cezary Kaliszyk Move manual examples to a subdirectory.
less more (0) tip