nominal2: Changelog

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

nominal2