Fri, 12 Nov 2010 01:20:53 +0000 Christian Urban automated permute_bn functions (raw ones first)
Wed, 10 Nov 2010 13:46:21 +0000 Christian Urban adapted to changes by Florian on the quotient package and removed local fix for function package
Wed, 10 Nov 2010 13:40:46 +0000 Christian Urban expanded the paper by uncommenting the comments and adding the appendix
Sun, 07 Nov 2010 11:22:31 +0000 Christian Urban fixed locally the problem with the function package; all tests work again
Sat, 06 Nov 2010 06:18:41 +0000 Christian Urban added a test about subtyping; disabled two tests, because of problem with function package
Fri, 05 Nov 2010 15:21:10 +0000 Christian Urban small typo
Fri, 29 Oct 2010 15:37:24 +0100 Christian Urban squeezed qpaper to 6 pages
Fri, 29 Oct 2010 14:25:50 +0900 Cezary Kaliszyk Qpaper / Move examples to commented out appendix
Thu, 28 Oct 2010 15:16:43 +0900 Cezary Kaliszyk Unanonymize qpaper
Thu, 28 Oct 2010 14:12:30 +0900 Cezary Kaliszyk FSet changes for Qpaper
Thu, 28 Oct 2010 14:03:46 +0900 Cezary Kaliszyk Remove FSet and use the one from Isabelle
Tue, 19 Oct 2010 15:08:24 +0100 Christian Urban took out comment about map-types / adapted to recent changes
Tue, 19 Oct 2010 10:10:41 +0100 Christian Urban use definitions instead of functions
Mon, 18 Oct 2010 12:15:44 +0100 Christian Urban tuned
Mon, 18 Oct 2010 11:51:22 +0100 Christian Urban used functions instead of definitions
Mon, 18 Oct 2010 09:42:51 +0100 Christian Urban added missing style file
Mon, 18 Oct 2010 14:13:28 +0900 Cezary Kaliszyk Use the generalized compositional quotient theorem
Sun, 17 Oct 2010 21:40:23 +0100 Christian Urban fixed typo
Sun, 17 Oct 2010 15:53:37 +0100 Christian Urban all tests work again
Sun, 17 Oct 2010 15:28:05 +0100 Christian Urban some tuning
Sun, 17 Oct 2010 13:35:52 +0100 Christian Urban naming scheme is now *_fset (not f*_)
Fri, 15 Oct 2010 23:45:54 +0100 Christian Urban more cleaning
Fri, 15 Oct 2010 17:37:44 +0100 Christian Urban further tuning
Fri, 15 Oct 2010 16:01:03 +0100 Christian Urban renamed fminus_raw to diff_list
Fri, 15 Oct 2010 15:58:48 +0100 Christian Urban renamed fcard_raw to card_list
Fri, 15 Oct 2010 15:56:16 +0100 Christian Urban slight update
Fri, 15 Oct 2010 15:47:20 +0100 Christian Urban Further reorganisation and cleaning
Fri, 15 Oct 2010 14:11:23 +0100 Christian Urban further cleaning
Fri, 15 Oct 2010 13:28:39 +0100 Christian Urban typo
Fri, 15 Oct 2010 16:32:34 +0900 Cezary Kaliszyk FSet: stronger fact in Isabelle.
Fri, 15 Oct 2010 16:23:26 +0900 Cezary Kaliszyk FSet synchronizing
Fri, 15 Oct 2010 15:52:40 +0900 Cezary Kaliszyk Synchronizing FSet further.
Fri, 15 Oct 2010 15:24:19 +0900 Cezary Kaliszyk Partially merging changes from Isabelle
Thu, 14 Oct 2010 17:32:06 +0100 Christian Urban fixed the typo in the abstract and the problem with append (the type of map_k
Thu, 14 Oct 2010 15:58:34 +0100 Christian Urban changed format of the pearl paper
Thu, 14 Oct 2010 11:09:52 +0100 Christian Urban deleted some unused lemmas
Thu, 14 Oct 2010 04:14:22 +0100 Christian Urban major reorganisation of fset (renamed fset_to_set to fset, changed the definition of list_eq and fcard_raw)
Wed, 13 Oct 2010 22:55:58 +0100 Christian Urban more on the pearl paper
Tue, 12 Oct 2010 13:06:18 +0100 Christian Urban added a section about abstractions
Tue, 12 Oct 2010 10:07:48 +0100 Christian Urban tiny work on the pearl paper
Fri, 08 Oct 2010 23:53:51 +0100 Christian Urban tuned
Fri, 08 Oct 2010 23:49:18 +0100 Christian Urban added apendix to paper detailing one proof
Fri, 08 Oct 2010 15:37:11 +0100 Christian Urban minor
Fri, 08 Oct 2010 15:35:14 +0100 Christian Urban minor
Fri, 08 Oct 2010 13:41:54 +0100 Christian Urban down to 20 pages
Thu, 07 Oct 2010 14:23:32 +0900 Cezary Kaliszyk minor
Wed, 06 Oct 2010 21:32:44 +0100 Christian Urban down to 21 pages and changed strong induction section
Wed, 06 Oct 2010 08:13:09 +0100 Christian Urban tuned
Wed, 06 Oct 2010 08:09:40 +0100 Christian Urban down to 22 pages
Tue, 05 Oct 2010 21:48:31 +0100 Christian Urban down to 23 pages
Tue, 05 Oct 2010 08:43:49 +0100 Christian Urban down to 24 pages and a bit
Tue, 05 Oct 2010 07:30:37 +0100 Christian Urban llncs and more sqeezing
Mon, 04 Oct 2010 12:39:57 +0100 Christian Urban first part of sqeezing everything into 20 pages (at the moment we have 26)
Mon, 04 Oct 2010 07:25:37 +0100 Christian Urban changed to llncs
Fri, 01 Oct 2010 07:11:47 -0400 Christian Urban merged
Fri, 01 Oct 2010 07:09:59 -0400 Christian Urban minor experiments
Thu, 30 Sep 2010 07:43:46 -0400 Christian Urban merged
Wed, 29 Sep 2010 16:49:13 -0400 Christian Urban simplified exhaust proofs
Fri, 01 Oct 2010 15:44:50 +0900 Cezary Kaliszyk Made the paper to compile with the renamings.
Wed, 29 Sep 2010 09:51:57 -0400 Christian Urban merged
(0) -1000 -300 -100 -60 +60 +100 +300 tip