nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 29 Sep 2009 13:38:27 +0200] rev 54

second test

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 29 Sep 2009 13:24:57 +0200] rev 53

Test line

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 29 Sep 2009 11:55:37 +0200] rev 52

Partially fix lifting of card_suc. The quantified variable still needs to be changed.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 29 Sep 2009 10:49:31 +0200] rev 51

Tested new build_goal and removed old one, eq_reflection is included in atomize, card_suc tests.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 29 Sep 2009 09:58:02 +0200] rev 50

Checked again with the version on my hard-drive backedup yesterday and fixed small whitespace issues.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 29 Sep 2009 09:26:22 +0200] rev 49

Merged

Christian Urban <urbanc@in.tum.de> [Mon, 28 Sep 2009 23:17:29 +0200] rev 48

added name to prove

Christian Urban <urbanc@in.tum.de> [Mon, 28 Sep 2009 19:24:55 +0200] rev 47

consistent state

Christian Urban <urbanc@in.tum.de> [Mon, 28 Sep 2009 19:22:28 +0200] rev 46

some tuning of my code

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 28 Sep 2009 19:15:19 +0200] rev 45

Cleanup

nominal2