nominal2: File revisions

Nominal/Ex/SingleLet.thy

Wed, 10 Nov 2010 13:46:21 +0000	Christian Urban	adapted to changes by Florian on the quotient package and removed local fix for function package	file \| diff \| annotate
Thu, 14 Oct 2010 04:14:22 +0100	Christian Urban	major reorganisation of fset (renamed fset_to_set to fset, changed the definition of list_eq and fcard_raw)	file \| diff \| annotate
Tue, 05 Oct 2010 07:30:37 +0100	Christian Urban	llncs and more sqeezing	file \| diff \| annotate
Mon, 27 Sep 2010 12:19:17 -0400	Christian Urban	added postprocessed fresh-lemmas for constructors	file \| diff \| annotate
Mon, 27 Sep 2010 09:51:15 -0400	Christian Urban	post-processed eq_iff and supp threormes according to the fv-supp equality	file \| diff \| annotate
Mon, 27 Sep 2010 04:56:28 -0400	Christian Urban	some experiments	file \| diff \| annotate
Sat, 25 Sep 2010 08:38:04 -0400	Christian Urban	lifted size_thms and exported them as <name>.size	file \| diff \| annotate
Sat, 25 Sep 2010 08:28:45 -0400	Christian Urban	cleaned up two examples	file \| diff \| annotate

nominal2