nominal2: File revisions

Nominal/Nominal2_Base.thy

Tue, 18 Jan 2011 17:19:50 +0100	Christian Urban	removed finiteness assumption from set_rename_perm	file \| diff \| annotate
Tue, 18 Jan 2011 11:02:57 +0100	Christian Urban	the function translating lambda terms to locally nameless lambda terms; still needs a stronger abs_eq_iff lemma...at the moment only proved for restrictions	file \| diff \| annotate
Tue, 18 Jan 2011 06:55:18 +0100	Christian Urban	modified the renaming_perm lemmas	file \| diff \| annotate
Mon, 17 Jan 2011 12:34:11 +0000	Christian Urban	moved high level code from LamTest into the main libraries.	file \| diff \| annotate
Fri, 14 Jan 2011 14:22:25 +0000	Christian Urban	strengthened renaming lemmas	file \| diff \| annotate
Mon, 10 Jan 2011 11:36:55 +0000	Christian Urban	a few lemmas about freshness for at and at_base	file \| diff \| annotate
Thu, 06 Jan 2011 13:28:04 +0000	Christian Urban	some further lemmas for fsets	file \| diff \| annotate
Mon, 03 Jan 2011 16:19:27 +0000	Christian Urban	simple cases for string rule inductions	file \| diff \| annotate

nominal2