nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 31 Oct 2009 11:20:55 +0100] rev 253

Automatic computation of application preservation and manually finished "alpha.induct". Slow...

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Oct 2009 19:03:53 +0100] rev 252

Regularize for equalities and a better tactic. "alpha.cases" now lifts.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Oct 2009 18:31:06 +0100] rev 251

Regularization

Christian Urban <urbanc@in.tum.de> [Fri, 30 Oct 2009 16:37:09 +0100] rev 250

merged

Christian Urban <urbanc@in.tum.de> [Fri, 30 Oct 2009 16:35:43 +0100] rev 249

added some facts about fresh and support of lam

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Oct 2009 16:24:07 +0100] rev 248

Finally merged the code of the versions of regularize and tested examples.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 30 Oct 2009 15:52:47 +0100] rev 247

Lemmas about fv.

nominal2