nominal2: Changelog

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

Christian Urban <urbanc@in.tum.de> [Fri, 25 Feb 2011 21:23:30 +0000] rev 2732

some slight polishing

Christian Urban <urbanc@in.tum.de> [Thu, 24 Feb 2011 18:50:02 +0000] rev 2731

merged

Christian Urban <urbanc@in.tum.de> [Thu, 24 Feb 2011 16:26:11 +0000] rev 2730

added a lemma about fresh_star and Abs

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 23 Feb 2011 11:11:02 +0900] rev 2729

Reduce the definition of trans to FCB; test that FCB can be proved with simp rules.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 19 Feb 2011 09:31:22 +0900] rev 2728

typeschemes/subst

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 17 Feb 2011 17:02:25 +0900] rev 2727

further experiments with typeschemes subst

nominal2