nominal2: File revisions

Quot/ROOT.ML

Wed, 23 Dec 2009 10:31:54 +0100	Christian Urban	corrected map declarations for Sum and Prod; moved absrep_fun examples in separate file	file \| diff \| annotate
Fri, 11 Dec 2009 17:22:26 +0100	Cezary Kaliszyk	Merge + Added LarryInt & Fset3 to tests.	file \| diff \| annotate
Fri, 11 Dec 2009 15:58:15 +0100	Christian Urban	added Int example from Larry	file \| diff \| annotate
Thu, 10 Dec 2009 18:28:30 +0100	Christian Urban	added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages	file \| diff \| annotate
Thu, 10 Dec 2009 04:23:13 +0100	Christian Urban	moved the interpretation code into Unused.thy	file \| diff \| annotate
Tue, 08 Dec 2009 14:00:48 +0100	Christian Urban	corrected name of FSet in ROOT.ML	file \| diff \| annotate
Mon, 07 Dec 2009 15:21:51 +0100	Christian Urban	isabelle make tests all examples	file \| diff \| annotate
Mon, 07 Dec 2009 14:37:10 +0100	Christian Urban	added "end" to each example theory	file \| diff \| annotate
Mon, 07 Dec 2009 14:09:50 +0100	Christian Urban	directory re-arrangement	file \| diff \| annotate

nominal2