nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 03 Mar 2010 17:51:47 +0100] rev 1336

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 03 Mar 2010 17:49:34 +0100] rev 1335

Experiments with proving weird transp

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 03 Mar 2010 17:47:29 +0100] rev 1334

Code for solving symp goals with multiple existentials.

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

nominal2