nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 11 Dec 2009 17:22:26 +0100] rev 720

Merge + Added LarryInt & Fset3 to tests.

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

Renaming

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.

nominal2