nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 14:14:40 +0100] rev 1271

Forgot to add one file.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 14:14:08 +0100] rev 1270

Split Terms into separate files and add them to tests.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 12:32:15 +0100] rev 1269

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 12:30:50 +0100] rev 1268

Move the eqvt code out of Terms and fixed induction for single-rule examples.

Christian Urban <urbanc@in.tum.de> [Thu, 25 Feb 2010 12:24:37 +0100] rev 1267

merged

Christian Urban <urbanc@in.tum.de> [Thu, 25 Feb 2010 11:51:34 +0100] rev 1266

a few simplifications

Christian Urban <urbanc@in.tum.de> [Thu, 25 Feb 2010 11:30:00 +0100] rev 1265

first attempt to make sense out of the core-haskell definition

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 12:15:11 +0100] rev 1264

Code for proving eqvt, still in Terms.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 09:41:14 +0100] rev 1263

Use eqvt infrastructure.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 25 Feb 2010 09:22:29 +0100] rev 1262

Simple function eqvt code.

nominal2