Christian Urban <urbanc@in.tum.de> [Sun, 17 Oct 2010 13:35:52 +0100] rev 2540
naming scheme is now *_fset (not f*_)
Christian Urban <urbanc@in.tum.de> [Fri, 15 Oct 2010 23:45:54 +0100] rev 2539
more cleaning
Christian Urban <urbanc@in.tum.de> [Fri, 15 Oct 2010 17:37:44 +0100] rev 2538
further tuning
Christian Urban <urbanc@in.tum.de> [Fri, 15 Oct 2010 16:01:03 +0100] rev 2537
renamed fminus_raw to diff_list
Christian Urban <urbanc@in.tum.de> [Fri, 15 Oct 2010 15:58:48 +0100] rev 2536
renamed fcard_raw to card_list
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