nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Tue, 20 Apr 2010 11:29:00 +0200] rev 1910

tuning of the code

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 21 Apr 2010 09:48:35 +0200] rev 1909

Reorder FSet

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 21 Apr 2010 09:13:55 +0200] rev 1908

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 21 Apr 2010 09:13:32 +0200] rev 1907

lattice properties.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 20 Apr 2010 17:25:31 +0200] rev 1906

All lifted in Term4. Requires new isabelle.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 20 Apr 2010 15:59:57 +0200] rev 1905

fsets are distributive lattices.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 20 Apr 2010 10:23:39 +0200] rev 1904

Fix of comment

Christian Urban <urbanc@in.tum.de> [Tue, 20 Apr 2010 09:13:52 +0200] rev 1903

reordered code

Christian Urban <urbanc@in.tum.de> [Tue, 20 Apr 2010 09:02:22 +0200] rev 1902

renamed "_empty" and "_append" to "_zero" and "_plus"

Christian Urban <urbanc@in.tum.de> [Tue, 20 Apr 2010 08:57:13 +0200] rev 1901

removed dead code (nominal cannot deal with argument types of constructors that are functions)

nominal2