nominal2: Changelog

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

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

Merged

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 28 Sep 2009 18:59:04 +0200] rev 43

Cleaning the code with Makarius

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

Instnatiation with a schematic variable

nominal2