nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Fri, 23 Dec 2011 15:04:01 +0000] rev 3097

included Pi theory in tests

Christian Urban <urbanc@in.tum.de> [Fri, 23 Dec 2011 10:36:34 +0000] rev 3096

added file by Kirstin

Christian Urban <urbanc@in.tum.de> [Thu, 22 Dec 2011 13:10:58 +0000] rev 3095

merged

Christian Urban <urbanc@in.tum.de> [Thu, 22 Dec 2011 05:15:37 +0000] rev 3094

moved TODO into the paper

Christian Urban <urbanc@in.tum.de> [Thu, 22 Dec 2011 04:47:05 +0000] rev 3093

merged

Christian Urban <urbanc@in.tum.de> [Thu, 22 Dec 2011 04:46:37 +0000] rev 3092

some slight tuning

Christian Urban <urbanc@in.tum.de> [Thu, 22 Dec 2011 13:10:30 +0000] rev 3091

the default sort for type-variables in nominal specifications is fs; it is automatically addded

Christian Urban <urbanc@in.tum.de> [Thu, 22 Dec 2011 04:35:01 +0000] rev 3090

fixed problem with equivariance for beta_star

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 21 Dec 2011 17:05:00 +0900] rev 3089

Reorder constructors to match Lambda

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 21 Dec 2011 15:47:42 +0900] rev 3088

SFT/LambdaTerms: rename 'var' to 'name' to match Lambda.

nominal2