nominal2: File revisions

FSet.thy

Sat, 31 Oct 2009 11:20:55 +0100	Cezary Kaliszyk	Automatic computation of application preservation and manually finished "alpha.induct". Slow...	file \| diff \| annotate
Fri, 30 Oct 2009 19:03:53 +0100	Cezary Kaliszyk	Regularize for equalities and a better tactic. "alpha.cases" now lifts.	file \| diff \| annotate
Fri, 30 Oct 2009 18:31:06 +0100	Cezary Kaliszyk	Regularization	file \| diff \| annotate
Fri, 30 Oct 2009 16:24:07 +0100	Cezary Kaliszyk	Finally merged the code of the versions of regularize and tested examples.	file \| diff \| annotate
Fri, 30 Oct 2009 15:30:33 +0100	Christian Urban	not sure what changed here	file \| diff \| annotate
Fri, 30 Oct 2009 14:25:37 +0100	Cezary Kaliszyk	Finding applications and duplicates filtered out in abstractions	file \| diff \| annotate
Fri, 30 Oct 2009 11:25:29 +0100	Cezary Kaliszyk	Cleaning of the interface to lift.	file \| diff \| annotate
Thu, 29 Oct 2009 08:06:49 +0100	Cezary Kaliszyk	Fixed wrong CARD definition and removed the "Does not work anymore" comment.	file \| diff \| annotate

nominal2