nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Fri, 11 Dec 2009 10:57:46 +0100] rev 706

renamed Larrys example

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 11 Dec 2009 11:08:58 +0100] rev 705

New syntax for definitions.

Christian Urban <urbanc@in.tum.de> [Fri, 11 Dec 2009 08:28:41 +0100] rev 704

changed error message

Christian Urban <urbanc@in.tum.de> [Fri, 11 Dec 2009 06:58:31 +0100] rev 703

reformulated the lemma lifting_procedure as ML value; gave better warning message for injection case

Christian Urban <urbanc@in.tum.de> [Thu, 10 Dec 2009 19:05:56 +0100] rev 702

slightly tuned

Christian Urban <urbanc@in.tum.de> [Thu, 10 Dec 2009 18:28:41 +0100] rev 701

merged

Christian Urban <urbanc@in.tum.de> [Thu, 10 Dec 2009 18:28:30 +0100] rev 700

added Larry's theory; introduced lemma equivpI; added something to the TODO about error messages

Christian Urban <urbanc@in.tum.de> [Thu, 10 Dec 2009 16:56:03 +0100] rev 699

added maps-printout and tuned some comments

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 10 Dec 2009 14:35:06 +0100] rev 698

Option and Sum quotients.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 10 Dec 2009 12:25:12 +0100] rev 697

Regularized the hard lemma.

nominal2