nominal2: File revisions

Nominal-General/Nominal2_Eqvt.thy

Fri, 30 Apr 2010 10:09:45 +0100	Christian Urban	reorganised eqvt-file (now uses perm_simp already)	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
Mon, 26 Apr 2010 13:08:14 +0200	Christian Urban	rewrote eqvts_raw to be a symtab, that can be looked up	file \| diff \| annotate
Sun, 25 Apr 2010 09:13:16 +0200	Christian Urban	tuned and cleaned	file \| diff \| annotate
Thu, 22 Apr 2010 06:44:24 +0200	Christian Urban	tuned parser	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
Sun, 18 Apr 2010 18:01:22 +0200	Christian Urban	tuned	file \| diff \| annotate

nominal2