Sun, 14 Jun 2009 17:20:19 +0200 | haftmann | dropped select_default | file | diff | annotate |
Wed, 27 May 2009 22:11:06 +0200 | haftmann | added lemma select_weight_cons_zero | file | diff | annotate |
Tue, 26 May 2009 17:29:33 +0200 | haftmann | dropped superfluos prefixes | file | diff | annotate |
Tue, 19 May 2009 16:54:55 +0200 | haftmann | String.literal replaces message_string, code_numeral replaces (code_)index | file | diff | annotate |
Tue, 19 May 2009 13:57:32 +0200 | haftmann | moved Code_Index, Random and Quickcheck before Main | file | diff | annotate |
Mon, 18 May 2009 15:45:42 +0200 | haftmann | hide fact log_def -- should not shadow regular log definition | file | diff | annotate |
Sat, 16 May 2009 20:16:49 +0200 | haftmann | experimental move of Quickcheck and related theories to HOL image | file | diff | annotate | base |