Fri, 08 Jul 2016 19:35:31 +0200 | nipkow | new style dummy_pats | changeset | files |
Fri, 08 Jul 2016 16:38:31 +0200 | nipkow | added path_len | changeset | files |
Thu, 07 Jul 2016 18:08:10 +0200 | nipkow | merged | changeset | files |
Thu, 07 Jul 2016 18:08:02 +0200 | nipkow | got rid of class cmp; added height-size proofs by Daniel Stuewe | changeset | files |
Thu, 07 Jul 2016 17:34:39 +0200 | fleury | more instantiations for multiset | changeset | files |
Thu, 07 Jul 2016 09:24:03 +0200 | blanchet | moved lemmas and locales around (with minor incompatibilities) | changeset | files |