Fri, 16 Apr 2010 21:28:09 +0200 | wenzelm | replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords; | file | diff | annotate |
Sun, 31 Jan 2010 14:51:31 +0100 | haftmann | generalized lemma foldl_apply_inv to foldl_apply | file | diff | annotate |
Wed, 09 Dec 2009 16:46:03 +0100 | haftmann | using existing lattice classes | file | diff | annotate |
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 |