nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 03 Mar 2010 15:28:25 +0100] rev 1333

reflp for multiple quantifiers.

Christian Urban <urbanc@in.tum.de> [Wed, 03 Mar 2010 14:46:14 +0100] rev 1332

fixed mess in Test.thy

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 03 Mar 2010 14:22:58 +0100] rev 1331

Fix eqvt for multiple quantifiers.

Christian Urban <urbanc@in.tum.de> [Wed, 03 Mar 2010 12:48:05 +0100] rev 1330

only tuned

Christian Urban <urbanc@in.tum.de> [Wed, 03 Mar 2010 12:47:06 +0100] rev 1329

merged

Christian Urban <urbanc@in.tum.de> [Wed, 03 Mar 2010 12:45:55 +0100] rev 1328

start of paper - does not compile yet

Christian Urban <urbanc@in.tum.de> [Wed, 03 Mar 2010 11:50:25 +0100] rev 1327

added ACM style file for ICFP

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 03 Mar 2010 11:42:15 +0100] rev 1326

weird eqvt

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 03 Mar 2010 10:39:43 +0100] rev 1325

Add the supp intersection conditions.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 02 Mar 2010 21:43:27 +0100] rev 1324

Comment out the part that does not work with 2 quantifiers.

nominal2