nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Sun, 28 Mar 2010 22:54:38 +0200] rev 1686

got rid of the aux-function on the raw level, by defining it with function on the quotient level

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 27 Mar 2010 16:20:39 +0100] rev 1685

Lets finally abstract lists.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 27 Mar 2010 16:17:45 +0100] rev 1684

Core Haskell can now use proper strings.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 27 Mar 2010 14:55:07 +0100] rev 1683

Automatically lift theorems and constants only using the new quotient types. Requires new Isabelle.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 27 Mar 2010 14:38:22 +0100] rev 1682

Remove list_eq notation.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 27 Mar 2010 13:50:59 +0100] rev 1681

Get lifted types information from the quotient package.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 27 Mar 2010 12:26:59 +0100] rev 1680

Equivariance when bn functions are lists.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 27 Mar 2010 12:20:17 +0100] rev 1679

Accepts lists in FV.

nominal2