nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Fri, 11 Dec 2009 17:03:52 +0100] rev 718

merged

Christian Urban <urbanc@in.tum.de> [Fri, 11 Dec 2009 17:03:34 +0100] rev 717

deleted struct_match by Pattern.match (fixes a problem in LarryInt)

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.

nominal2