nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Sat, 24 Oct 2009 16:31:07 +0200] rev 177

changed encoding from utf8 to ISO8 (needed to work with xemacs)

cek@localhost.localdomain [Sat, 24 Oct 2009 16:15:33 +0200] rev 176

Merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 24 Oct 2009 16:15:58 +0200] rev 175

Preparing infrastructire for LAMBDA_PRS

Christian Urban <urbanc@in.tum.de> [Sat, 24 Oct 2009 16:09:05 +0200] rev 174

moved the map_funs setup into QuotMain

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 24 Oct 2009 14:00:18 +0200] rev 173

Finally completely lift the previously lifted theorems + clean some old stuff

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 24 Oct 2009 13:00:54 +0200] rev 172

More infrastructure for automatic lifting of theorems lifted before

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 24 Oct 2009 10:16:53 +0200] rev 171

More infrastructure for automatic lifting of theorems lifted before

cek@localhost.localdomain [Sat, 24 Oct 2009 08:34:14 +0200] rev 170

Undid wrong merge

cek@localhost.localdomain [Sat, 24 Oct 2009 08:29:11 +0200] rev 169

Tried rolling back

cek@localhost.localdomain [Sat, 24 Oct 2009 08:24:26 +0200] rev 168

Cleaning the mess

nominal2