Wed, 02 Dec 2009 17:53:34 +0100 | haftmann | generalized some lemmas | file | diff | annotate |
Tue, 06 Oct 2009 15:59:12 +0200 | haftmann | sets and cosets | file | diff | annotate |
Wed, 22 Jul 2009 18:02:10 +0200 | haftmann | moved complete_lattice &c. into separate theory | file | diff | annotate |
Fri, 03 Jul 2009 08:44:13 +0200 | haftmann | lemma foldl_apply_inv | file | diff | annotate |
Mon, 29 Jun 2009 12:18:55 +0200 | haftmann | renamed theory Code_Set to Fset | file | diff | annotate | base |