Sat, 06 Sep 2014 20:12:32 +0200 | haftmann | added various facts | changeset | files |
Fri, 05 Sep 2014 16:09:03 +0100 | paulson | Generalised card_length_listsum to all m | changeset | files |
Fri, 05 Sep 2014 14:58:13 +0200 | nipkow | added lemma | changeset | files |
Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | updated docs | changeset | files |
Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | pretend code generation is a ctr_sugar plugin | changeset | files |
Fri, 05 Sep 2014 00:41:01 +0200 | blanchet | updated docs | changeset | files |