nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Tue, 30 Mar 2010 02:55:18 +0200] rev 1703

more of the paper

Christian Urban <urbanc@in.tum.de> [Mon, 29 Mar 2010 22:26:19 +0200] rev 1702

merged

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 29 Mar 2010 18:12:54 +0200] rev 1701

Updated strong induction to modified definitions.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 29 Mar 2010 17:32:17 +0200] rev 1700

Initial renaming

Christian Urban <urbanc@in.tum.de> [Mon, 29 Mar 2010 17:14:02 +0200] rev 1699

small changes in the core-haskell spec

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 29 Mar 2010 16:56:59 +0200] rev 1698

Update according to paper

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 29 Mar 2010 16:44:26 +0200] rev 1697

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 29 Mar 2010 16:44:05 +0200] rev 1696

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 29 Mar 2010 16:29:50 +0200] rev 1695

Changed to Lists.

Christian Urban <urbanc@in.tum.de> [Mon, 29 Mar 2010 16:41:21 +0200] rev 1694

clarified core-haskell example

nominal2