nominal2: File revisions

Nominal/Equivp.thy

Mon, 24 May 2010 20:02:37 +0100	Christian Urban	alpha works now	file \| diff \| annotate
Thu, 20 May 2010 21:23:53 +0100	Christian Urban	new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files	file \| diff \| annotate
Wed, 12 May 2010 16:08:32 +0200	Cezary Kaliszyk	Use raw_induct instead of induct	file \| diff \| annotate
Thu, 06 May 2010 14:09:56 +0200	Cezary Kaliszyk	prod_rel.simps and Fixed for new isabelle	file \| diff \| annotate
Mon, 03 May 2010 11:37:44 +0200	Cezary Kaliszyk	Remove dependency on NewFv	file \| diff \| annotate
Sun, 02 May 2010 14:06:26 +0100	Christian Urban	attempted to remove dependency on (old) Fv and (old) Parser; lifting still uses Fv.thy; the examples do not work at the moment (with equivp proofs failing)	file \| diff \| annotate
Mon, 19 Apr 2010 17:26:07 +0200	Christian Urban	deleting function perm_arg in favour of the library function mk_perm	file \| diff \| annotate
Wed, 14 Apr 2010 10:39:03 +0200	Cezary Kaliszyk	Initial cleaning/reorganization in Fv.	file \| diff \| annotate

nominal2