nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 29 Apr 2010 16:16:45 +0200] rev 1987

Some of the exceptions that the parser should check in TODO.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 29 Apr 2010 16:15:49 +0200] rev 1986

Extracting the fv body function and exporting the terms.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 29 Apr 2010 13:19:12 +0200] rev 1985

Fix for recursive binders.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 29 Apr 2010 12:11:44 +0200] rev 1984

revert 0c9ef14e9ba4

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 29 Apr 2010 11:54:39 +0200] rev 1983

Support in positive position and atoms in negative positions.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 29 Apr 2010 11:00:18 +0200] rev 1982

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 29 Apr 2010 10:59:08 +0200] rev 1981

Include support of unknown datatypes in new fv

Christian Urban <urbanc@in.tum.de> [Thu, 29 Apr 2010 10:16:33 +0200] rev 1980

merged

Christian Urban <urbanc@in.tum.de> [Thu, 29 Apr 2010 10:16:15 +0200] rev 1979

added basic functions for constructing supp-terms

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 29 Apr 2010 10:11:48 +0200] rev 1978

quotient paper

nominal2