nominal2: File revisions

Nominal-General/Nominal2_Base.thy

Mon, 03 May 2010 00:00:33 +0100	Christian Urban	slight tuning	file \| diff \| annotate
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, 28 Apr 2010 08:32:33 +0200	Christian Urban	use the more general type-class at_base	file \| diff \| annotate
Wed, 28 Apr 2010 08:24:46 +0200	Christian Urban	deleted left-over code	file \| diff \| annotate
Wed, 28 Apr 2010 08:22:20 +0200	Christian Urban	simpliied and moved the remaining lemmas about the atom-function to Nominal2_Base	file \| diff \| annotate
Tue, 27 Apr 2010 22:21:16 +0200	Christian Urban	moved mk_atom into the library; that meant that concrete atom classes need to be in Nominal2_Base	file \| diff \| annotate
Sat, 24 Apr 2010 09:49:23 +0200	Christian Urban	merged	file \| diff \| annotate
Thu, 22 Apr 2010 05:16:23 +0200	Christian Urban	moved lemmas from FSet.thy to do with atom to Nominal2_Base, and to do with 'a::at set to Nominal2_Atoms; moved Nominal2_Eqvt.thy one up to be loaded before Nominal2_Atoms	file \| diff \| annotate

nominal2