nominal2: File revisions

Nominal/Test.thy

2010-03-23	Cezary Kaliszyk	Move Ex1 and Ex2 out of Test	file \| diff \| annotate
2010-03-23	Cezary Kaliszyk	Move examples which create more permutations out	file \| diff \| annotate
2010-03-23	Cezary Kaliszyk	Move LamEx out of Test.	file \| diff \| annotate
2010-03-23	Cezary Kaliszyk	Move Non-respectful examples to NotRsp	file \| diff \| annotate
2010-03-23	Cezary Kaliszyk	Move the comment to appropriate place.	file \| diff \| annotate
2010-03-19	Cezary Kaliszyk	Automatically derive support for datatypes with at-most one binding per constructor.	file \| diff \| annotate
2010-03-19	Cezary Kaliszyk	Update Test to use fset.	file \| diff \| annotate
2010-03-18	Cezary Kaliszyk	Leroy96 supp=fv and fixes to make it compile	file \| diff \| annotate
2010-03-18	Christian Urban	corrected the strong induction principle in the lambda-calculus case; gave a second (oartial) version that is more elegant	file \| diff \| annotate
2010-03-18	Cezary Kaliszyk	Rename "_property" to ".property"	file \| diff \| annotate
2010-03-18	Cezary Kaliszyk	Added fv,bn,distinct,perm to the simplifier.	file \| diff \| annotate
2010-03-18	Cezary Kaliszyk	Which proofs need a 'sorry'.	file \| diff \| annotate
2010-03-18	Christian Urban	vixed variable names	file \| diff \| annotate
2010-03-18	Christian Urban	simplified strong induction proof by using flip	file \| diff \| annotate

nominal2