nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Fri, 11 Mar 2011 08:51:39 +0000] rev 2742

more on the pearl paper

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Mar 2011 16:07:56 +0900] rev 2739

distinct names at toplevel

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Mar 2011 12:49:01 +0900] rev 2738

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Mar 2011 12:48:00 +0900] rev 2737

Pairing function

Christian Urban <urbanc@in.tum.de> [Wed, 02 Mar 2011 00:06:28 +0000] rev 2736

updated pearl papers

Christian Urban <urbanc@in.tum.de> [Tue, 01 Mar 2011 00:14:02 +0000] rev 2735

a bit more tuning

Christian Urban <urbanc@in.tum.de> [Mon, 28 Feb 2011 16:47:13 +0000] rev 2734

included old test cases for perm_simp into ROOT.ML file

Christian Urban <urbanc@in.tum.de> [Mon, 28 Feb 2011 15:21:10 +0000] rev 2733

split the library into a basics file; merged Nominal_Eqvt into Nominal_Base

nominal2