nominal2: File revisions

Nominal/Nominal2_Base.thy

Wed, 19 Jan 2011 17:11:10 +0100	Christian Urban	added Minimal file to test things	file \| diff \| annotate
Tue, 18 Jan 2011 19:27:30 +0100	Christian Urban	defined properly substitution	file \| diff \| annotate
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

nominal2