2010-10-15 renamed fcard_raw to card_list
Christian Urban <urbanc@in.tum.de> [Fri, 15 Oct 2010 15:58:48 +0100] rev 2536
renamed fcard_raw to card_list
2010-10-15 slight update
Christian Urban <urbanc@in.tum.de> [Fri, 15 Oct 2010 15:56:16 +0100] rev 2535
slight update
2010-10-15 Further reorganisation and cleaning
Christian Urban <urbanc@in.tum.de> [Fri, 15 Oct 2010 15:47:20 +0100] rev 2534
Further reorganisation and cleaning
2010-10-15 further cleaning
Christian Urban <urbanc@in.tum.de> [Fri, 15 Oct 2010 14:11:23 +0100] rev 2533
further cleaning
2010-10-15 typo
Christian Urban <urbanc@in.tum.de> [Fri, 15 Oct 2010 13:28:39 +0100] rev 2532
typo
2010-10-15 FSet: stronger fact in Isabelle.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 15 Oct 2010 16:32:34 +0900] rev 2531
FSet: stronger fact in Isabelle.
2010-10-15 FSet synchronizing
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 15 Oct 2010 16:23:26 +0900] rev 2530
FSet synchronizing
2010-10-15 Synchronizing FSet further.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 15 Oct 2010 15:52:40 +0900] rev 2529
Synchronizing FSet further.
2010-10-15 Partially merging changes from Isabelle
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 15 Oct 2010 15:24:19 +0900] rev 2528
Partially merging changes from Isabelle
2010-10-14 fixed the typo in the abstract and the problem with append (the type of map_k
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)
(0) -1000 -300 -100 -10 +10 +100 +300 tip