nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 11 Dec 2009 11:32:29 +0100] rev 712

Merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 11 Dec 2009 11:30:00 +0100] rev 711

More theorem renaming.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 11 Dec 2009 11:25:52 +0100] rev 710

Renamed theorems in IntEx2 to conform to names in Int.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 11 Dec 2009 11:19:41 +0100] rev 709

Updated comments.

Christian Urban <urbanc@in.tum.de> [Fri, 11 Dec 2009 11:14:05 +0100] rev 708

merged

Christian Urban <urbanc@in.tum.de> [Fri, 11 Dec 2009 11:12:53 +0100] rev 707

tuned

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

nominal2