nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Thu, 23 Jun 2011 11:30:39 +0100] rev 2888

fixed nasty bug with type variables in nominal_datatypes; this included to be careful with the output of the inductive and function package

Christian Urban <urbanc@in.tum.de> [Wed, 22 Jun 2011 14:14:54 +0100] rev 2887

tuned

Christian Urban <urbanc@in.tum.de> [Wed, 22 Jun 2011 13:40:25 +0100] rev 2886

deleted some dead code

Christian Urban <urbanc@in.tum.de> [Wed, 22 Jun 2011 12:18:22 +0100] rev 2885

some rudimentary infrastructure for storing data about nominal datatypes

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 22 Jun 2011 17:57:15 +0900] rev 2884

constants with the same names

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 22 Jun 2011 04:49:56 +0900] rev 2883

Quotients/TODO addtion

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 21 Jun 2011 23:59:36 +0900] rev 2882

Minor

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 21 Jun 2011 10:39:25 +0900] rev 2881

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 21 Jun 2011 10:37:43 +0900] rev 2880

spelling

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 20 Jun 2011 20:09:51 +0900] rev 2879

merge

nominal2