nominal2: File revisions

Nominal/Parser.thy

2010-04-25	Christian Urban	tuned and made to compile	file \| diff \| annotate
2010-04-24	Christian Urban	merged	file \| diff \| annotate
2010-04-21	Christian Urban	merged	file \| diff \| annotate
2010-04-20	Christian Urban	renamed Ex1.thy to SingleLet.thy	file \| diff \| annotate
2010-04-20	Cezary Kaliszyk	Fix of comment	file \| diff \| annotate
2010-04-19	Cezary Kaliszyk	merge	file \| diff \| annotate
2010-04-19	Cezary Kaliszyk	Locations of files in Parser	file \| diff \| annotate
2010-04-14	Cezary Kaliszyk	Initial cleaning/reorganization in Fv.	file \| diff \| annotate
2010-04-11	Christian Urban	tuned	file \| diff \| annotate
2010-04-04	Christian Urban	separated general nominal theory into separate folder	file \| diff \| annotate
2010-04-01	Cezary Kaliszyk	Let with multiple bindings.	file \| diff \| annotate
2010-03-27	Cezary Kaliszyk	Lets finally abstract lists.	file \| diff \| annotate
2010-03-27	Cezary Kaliszyk	Automatically lift theorems and constants only using the new quotient types. Requires new Isabelle.	file \| diff \| annotate
2010-03-27	Cezary Kaliszyk	Get lifted types information from the quotient package.	file \| diff \| annotate
2010-03-27	Cezary Kaliszyk	Parsing of list-bn functions into components.	file \| diff \| annotate

nominal2