nominal2: File revisions

Nominal/Perm.thy

Mon, 17 May 2010 12:00:54 +0100	Christian Urban	somewhat simplified the main parsing function; failed to move a Note-statement to define_raw_perms	file \| diff \| annotate
Wed, 12 May 2010 13:43:48 +0100	Christian Urban	properly exported defined bn-functions	file \| diff \| annotate
Tue, 04 May 2010 14:33:50 +0100	Christian Urban	fixed my error with define_raw_fv	file \| diff \| annotate
Tue, 04 May 2010 07:22:33 +0100	Christian Urban	tuned	file \| diff \| annotate
Tue, 04 May 2010 06:24:54 +0100	Christian Urban	roll back of the last commit (there was a difference)	file \| diff \| annotate
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

nominal2