nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 26 Oct 2009 15:32:17 +0100] rev 195

Merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 26 Oct 2009 15:31:53 +0100] rev 194

Simplifying Int and Working on map

Christian Urban <urbanc@in.tum.de> [Mon, 26 Oct 2009 14:18:26 +0100] rev 193

merged

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 26 Oct 2009 14:16:32 +0100] rev 192

Simplifying code in int

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 26 Oct 2009 13:33:28 +0100] rev 191

Symmetry of integer addition

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 26 Oct 2009 11:55:36 +0100] rev 190

Finished the code for adding lower defs, and more things moved to QuotMain

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 26 Oct 2009 11:34:02 +0100] rev 189

Making all the definitions from the original ones

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 26 Oct 2009 10:20:20 +0100] rev 188

Finished COND_PRS proof.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 26 Oct 2009 10:02:50 +0100] rev 187

Cleaning and fixing.

Christian Urban <urbanc@in.tum.de> [Mon, 26 Oct 2009 02:06:01 +0100] rev 186

updated with quotient_def

nominal2