nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 14 Apr 2010 10:50:11 +0200] rev 1836

Separate define_fv.

Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 16:05:58 +0200] rev 1835

tuned and removed dead code

Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 15:02:07 +0200] rev 1834

moved a couple of more functions to the library

Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 14:41:54 +0200] rev 1833

added a library for basic nominal functions; separated nominal_eqvt file

Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 13:21:38 +0200] rev 1832

merged

Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 13:21:11 +0200] rev 1831

first working version of the automatic equivariance procedure

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 14 Apr 2010 10:39:03 +0200] rev 1830

Initial cleaning/reorganization in Fv.

Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 10:29:56 +0200] rev 1829

merged

Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 10:29:34 +0200] rev 1828

preliminary tests

Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 10:28:17 +0200] rev 1827

deleted test

nominal2