nominal2: File revisions

Nominal/Perm.thy

Tue, 04 May 2010 06:05:13 +0100	Christian Urban	tuned	file \| diff \| annotate
Tue, 04 May 2010 06:02:45 +0100	Christian Urban	to my best knowledge the number of datatypes is equal to the length of the dt_descr; so we can save one argument in define_raw_perm	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
Wed, 28 Apr 2010 06:40:10 +0200	Christian Urban	factured out common functionality of prefixing the dt-names with a string	file \| diff \| annotate
Tue, 20 Apr 2010 11:29:00 +0200	Christian Urban	tuning of the code	file \| diff \| annotate
Tue, 20 Apr 2010 09:13:52 +0200	Christian Urban	reordered code	file \| diff \| annotate
Tue, 20 Apr 2010 09:02:22 +0200	Christian Urban	renamed "_empty" and "_append" to "_zero" and "_plus"	file \| diff \| annotate
Tue, 20 Apr 2010 08:57:13 +0200	Christian Urban	removed dead code (nominal cannot deal with argument types of constructors that are functions)	file \| diff \| annotate

nominal2