src/HOL/Random.thy
Fri, 19 Feb 2010 14:47:00 +0100 haftmann hide fact range_def
Tue, 27 Oct 2009 15:32:21 +0100 haftmann tuned
Tue, 29 Sep 2009 16:24:36 +0200 wenzelm explicit indication of Unsynchronized.ref;
Mon, 15 Jun 2009 08:16:08 +0200 haftmann where there is nothing, nothing can be hidden
Sun, 14 Jun 2009 17:20:19 +0200 haftmann dropped select_default
Wed, 27 May 2009 22:11:06 +0200 haftmann added lemma select_weight_cons_zero
Tue, 26 May 2009 17:29:33 +0200 haftmann dropped superfluos prefixes
Tue, 19 May 2009 16:54:55 +0200 haftmann String.literal replaces message_string, code_numeral replaces (code_)index
Tue, 19 May 2009 13:57:32 +0200 haftmann moved Code_Index, Random and Quickcheck before Main
Mon, 18 May 2009 15:45:42 +0200 haftmann hide fact log_def -- should not shadow regular log definition
Sat, 16 May 2009 20:16:49 +0200 haftmann experimental move of Quickcheck and related theories to HOL image
less more (0) tip