Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 11 Dec 2009 16:32:40 +0100] rev 716
FSet3 minor fixes + cases
Christian Urban <urbanc@in.tum.de> [Fri, 11 Dec 2009 15:58:15 +0100] rev 715
added Int example from Larry
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 11 Dec 2009 15:49:15 +0100] rev 714
Added FSet3 with a formalisation of finite sets based on Michael's one.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 11 Dec 2009 13:51:08 +0100] rev 713
Updated TODO list together.
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
Christian Urban <urbanc@in.tum.de> [Thu, 10 Dec 2009 19:05:56 +0100] rev 702
slightly tuned