nominal2: File revisions

Quot/Examples/FSet.thy

Tue, 26 Jan 2010 13:58:28 +0100	Cezary Kaliszyk	Found a term that does not regularize.	file \| diff \| annotate
Tue, 26 Jan 2010 13:53:56 +0100	Cezary Kaliszyk	A triple is still ok.	file \| diff \| annotate
Tue, 26 Jan 2010 13:38:42 +0100	Cezary Kaliszyk	Combined the simpsets in clean_tac and updated the comment. Now cleaning of splits does work.	file \| diff \| annotate
Tue, 26 Jan 2010 09:54:43 +0100	Cezary Kaliszyk	Generalized split_prs and split_rsp	file \| diff \| annotate
Sun, 24 Jan 2010 23:41:27 +0100	Christian Urban	test with splits	file \| diff \| annotate
Thu, 24 Dec 2009 22:28:19 +0100	Christian Urban	made the quotient_type definition more like typedef; now type variables need to be explicitly given	file \| diff \| annotate
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
Tue, 22 Dec 2009 21:31:44 +0100	Christian Urban	renamed get_fun to absrep_fun; introduced explicit checked versions of the term functions	file \| diff \| annotate

nominal2