nominal2: File revisions

Nominal-General/Nominal2_Supp.thy

Fri, 30 Apr 2010 15:34:26 +0100	Christian Urban	added lemmas establishing the support of finite sets of finitely supported elements	file \| diff \| annotate
Wed, 21 Apr 2010 21:29:09 +0200	Christian Urban	moved some lemmas into the right places	file \| diff \| annotate
Wed, 21 Apr 2010 16:24:18 +0200	Christian Urban	added a variant of the induction principle for permutations	file \| diff \| annotate
Wed, 21 Apr 2010 12:37:19 +0200	Christian Urban	added an improved version of the induction principle for permutations	file \| diff \| annotate
Mon, 19 Apr 2010 09:25:31 +0200	Christian Urban	tuned proofs	file \| diff \| annotate
Fri, 16 Apr 2010 10:18:16 +0200	Christian Urban	some tuning of eqvt-infrastructure	file \| diff \| annotate
Wed, 07 Apr 2010 17:37:29 +0200	Christian Urban	added an induction principle for permutations; removed add_perm construction	file \| diff \| annotate
Tue, 06 Apr 2010 23:33:40 +0200	Christian Urban	isarfied proof about existence of a permutation list	file \| diff \| annotate
Sun, 04 Apr 2010 21:39:28 +0200	Christian Urban	separated general nominal theory into separate folder	file \| diff \| annotate \| base

nominal2