nominal2: Changelog

Christian Urban <urbanc@in.tum.de> [Fri, 15 Oct 2010 15:56:16 +0100] rev 2535

slight update

Christian Urban <urbanc@in.tum.de> [Fri, 15 Oct 2010 15:47:20 +0100] rev 2534

Further reorganisation and cleaning

Christian Urban <urbanc@in.tum.de> [Fri, 15 Oct 2010 14:11:23 +0100] rev 2533

further cleaning

Christian Urban <urbanc@in.tum.de> [Fri, 15 Oct 2010 13:28:39 +0100] rev 2532

typo

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 15 Oct 2010 16:32:34 +0900] rev 2531

FSet: stronger fact in Isabelle.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 15 Oct 2010 16:23:26 +0900] rev 2530

FSet synchronizing

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 15 Oct 2010 15:52:40 +0900] rev 2529

Synchronizing FSet further.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 15 Oct 2010 15:24:19 +0900] rev 2528

Partially merging changes from Isabelle

Christian Urban <urbanc@in.tum.de> [Thu, 14 Oct 2010 17:32:06 +0100] rev 2527

fixed the typo in the abstract and the problem with append (the type of map_k and map_list seems to be indeed incorrect....did not yet look at this)

Christian Urban <urbanc@in.tum.de> [Thu, 14 Oct 2010 15:58:34 +0100] rev 2526

changed format of the pearl paper

nominal2