Nominal/Manual/Term4.thy
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