nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 27 Oct 2009 09:01:12 +0100] rev 198

Completely cleaned Int.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 27 Oct 2009 07:46:52 +0100] rev 197

Further reordering in Int code.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 26 Oct 2009 19:35:30 +0100] rev 196

Simplifying Int.

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

nominal2