nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 22 Oct 2009 11:43:12 +0200] rev 152

Simplified the proof with some tactic... Still hangs sometimes.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 22 Oct 2009 10:45:33 +0200] rev 151

More proof

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 22 Oct 2009 10:38:00 +0200] rev 150

Got rid of instantiations in the proof

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 22 Oct 2009 06:51:27 +0200] rev 149

Removed some debugging messages

Christian Urban <urbanc@in.tum.de> [Thu, 22 Oct 2009 01:59:17 +0200] rev 148

tuned and attempted to store data about the quotients (does not work yet)

Christian Urban <urbanc@in.tum.de> [Thu, 22 Oct 2009 01:16:42 +0200] rev 147

tuned

Christian Urban <urbanc@in.tum.de> [Thu, 22 Oct 2009 01:15:01 +0200] rev 146

slight tuning

Christian Urban <urbanc@in.tum.de> [Wed, 21 Oct 2009 18:30:42 +0200] rev 145

fixed my_reg

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 21 Oct 2009 16:13:39 +0200] rev 144

Reorganization of the construction part

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 21 Oct 2009 15:01:50 +0200] rev 143

Simplified proof more

nominal2