nominal2: File revisions

Nominal/Perm.thy

2010-07-07	Christian Urban	more on the paper	file \| diff \| annotate
2010-06-27	Christian Urban	fixed according to changes in quotient	file \| diff \| annotate
2010-06-24	Christian Urban	fixed according to changes in quotient	file \| diff \| annotate
2010-06-01	Christian Urban	smaller code for raw-eqvt proofs	file \| diff \| annotate
2010-05-27	Christian Urban	intermediate state	file \| diff \| annotate
2010-05-26	Christian Urban	added FSet to the correct paper	file \| diff \| annotate
2010-05-24	Christian Urban	tuned	file \| diff \| annotate
2010-05-24	Christian Urban	alpha works now	file \| diff \| annotate
2010-05-20	Christian Urban	new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files	file \| diff \| annotate
2010-05-19	Christian Urban	added comments about pottiers work	file \| diff \| annotate
2010-05-17	Christian Urban	slight tuning	file \| diff \| annotate
2010-05-17	Christian Urban	somewhat simplified the main parsing function; failed to move a Note-statement to define_raw_perms	file \| diff \| annotate
2010-05-12	Christian Urban	properly exported defined bn-functions	file \| diff \| annotate
2010-05-04	Christian Urban	fixed my error with define_raw_fv	file \| diff \| annotate
2010-05-04	Christian Urban	tuned	file \| diff \| annotate

nominal2