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
Christian Urban <urbanc@in.tum.de> [Thu, 14 Oct 2010 11:09:52 +0100] rev 2525
deleted some unused lemmas
Christian Urban <urbanc@in.tum.de> [Thu, 14 Oct 2010 04:14:22 +0100] rev 2524
major reorganisation of fset (renamed fset_to_set to fset, changed the definition of list_eq and fcard_raw)
Christian Urban <urbanc@in.tum.de> [Wed, 13 Oct 2010 22:55:58 +0100] rev 2523
more on the pearl paper
Christian Urban <urbanc@in.tum.de> [Tue, 12 Oct 2010 13:06:18 +0100] rev 2522
added a section about abstractions