nominal2: File revisions

Nominal/NewFv.thy

2010-06-07	Christian Urban	improved abstract, some tuning	file \| diff \| annotate
2010-05-19	Christian Urban	added comments about pottiers work	file \| diff \| annotate
2010-05-17	Christian Urban	minor tuning	file \| diff \| annotate
2010-05-14	Cezary Kaliszyk	Proper fv/alpha for multiple compound binders	file \| diff \| annotate
2010-05-14	Cezary Kaliszyk	Fv for multiple binding functions	file \| diff \| annotate
2010-05-06	Cezary Kaliszyk	mem => member	file \| diff \| annotate
2010-05-04	Christian Urban	tuned and added some comments to the code; added also an exception for early exit of the nominal2_cmd function	file \| diff \| annotate
2010-04-30	Cezary Kaliszyk	Merged nominal_datatype into NewParser until eqvts	file \| diff \| annotate
2010-04-30	Cezary Kaliszyk	Change signature of fv and alpha generation.	file \| diff \| annotate
2010-04-29	Cezary Kaliszyk	Unify and give only one name to 'setify', 'listify' and 'set'	file \| diff \| annotate
2010-04-29	Cezary Kaliszyk	Extracting the fv body function and exporting the terms.	file \| diff \| annotate
2010-04-29	Cezary Kaliszyk	Fix for recursive binders.	file \| diff \| annotate
2010-04-29	Cezary Kaliszyk	revert 0c9ef14e9ba4	file \| diff \| annotate
2010-04-29	Cezary Kaliszyk	Support in positive position and atoms in negative positions.	file \| diff \| annotate
2010-04-29	Cezary Kaliszyk	Include support of unknown datatypes in new fv	file \| diff \| annotate

nominal2