nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 18:47:20 +0200] rev 1842

merged

Christian Urban <urbanc@in.tum.de> [Wed, 14 Apr 2010 18:46:59 +0200] rev 1841

thmdecls can deal with lemmas like alpha_gen which contain pairs or tuples

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 14 Apr 2010 16:11:04 +0200] rev 1840

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 14 Apr 2010 16:10:44 +0200] rev 1839

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 14 Apr 2010 11:08:33 +0200] rev 1838

Separate alpha_definition.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 14 Apr 2010 11:07:42 +0200] rev 1837

Fix spelling in theory header

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

nominal2