nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Sat, 20 Mar 2010 04:51:26 +0100] rev 1558

started cleaning up and introduced 3 versions of ~~gen

Christian Urban <urbanc@in.tum.de> [Sat, 20 Mar 2010 02:46:07 +0100] rev 1557

moved infinite_Un into mainstream Isabelle; moved permute_boolI/E lemmas

Christian Urban <urbanc@in.tum.de> [Fri, 19 Mar 2010 21:04:24 +0100] rev 1556

more work on the paper

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Mar 2010 18:56:13 +0100] rev 1555

Described automatically created funs.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Mar 2010 18:43:29 +0100] rev 1554

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Mar 2010 18:42:57 +0100] rev 1553

Automatically derive support for datatypes with at-most one binding per constructor.

Christian Urban <urbanc@in.tum.de> [Fri, 19 Mar 2010 17:20:25 +0100] rev 1552

picture

Christian Urban <urbanc@in.tum.de> [Fri, 19 Mar 2010 15:43:59 +0100] rev 1551

merged

Christian Urban <urbanc@in.tum.de> [Fri, 19 Mar 2010 15:43:43 +0100] rev 1550

polished

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Mar 2010 15:01:01 +0100] rev 1549

Update Test to use fset.

nominal2