nominal2: File revisions

Nominal/Atoms.thy

Mon, 04 Jun 2012 21:39:51 +0100	Christian Urban	added permutation simplification to the simplifier; this makes the simplifier more powerful, but it potentially loops more often	file \| diff \| annotate
Thu, 23 Jun 2011 22:21:43 +0100	Christian Urban	the simplifier can simplify "sort (atom a)" if a is a concrete atom type declared with atom_decl	file \| diff \| annotate
Tue, 10 May 2011 17:10:22 +0100	Christian Urban	made the subtyping work again	file \| diff \| annotate
Tue, 10 May 2011 07:47:06 +0100	Christian Urban	updated to new Isabelle (> 9 May)	file \| diff \| annotate
Tue, 15 Mar 2011 00:40:39 +0100	Christian Urban	more on the pearl paper	file \| diff \| annotate
Tue, 07 Dec 2010 14:27:21 +0000	Christian Urban	updated to changes in Isabelle	file \| diff \| annotate
Sun, 14 Nov 2010 16:34:47 +0000	Christian Urban	merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy	file \| diff \| annotate \| base
Sat, 03 Apr 2010 21:53:04 +0200	Christian Urban	merged pearl paper with this repository; started litrature subdirectory	file \| diff \| annotate

nominal2