nominal2: File revisions

Nominal/NewParser.thy

2010-05-24	Christian Urban	tuned	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-23	Christian Urban	started to work on alpha	file \| diff \| annotate
2010-05-22	Christian Urban	properly exported bn_descr	file \| diff \| annotate
2010-05-21	Christian Urban	hving a working fv-definition without the export	file \| diff \| annotate
2010-05-21	Christian Urban	tuned	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-21	Cezary Kaliszyk	Renamings	file \| diff \| annotate
2010-05-17	Christian Urban	minor tuning	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-16	Christian Urban	moved the exporting part into the parser (this is still a hack); re-added CoreHaskell again to the examples - there seems to be a problem with the variable name pat	file \| diff \| annotate
2010-05-13	Christian Urban	made out of STEPS a configuration value so that it can be set individually in each file	file \| diff \| annotate
2010-05-13	Christian Urban	added term4 back to the examples	file \| diff \| annotate
2010-05-12	Christian Urban	merged	file \| diff \| annotate

nominal2