| Tue, 29 Sep 2009 16:24:36 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Mon, 15 Jun 2009 08:16:08 +0200 |
haftmann |
where there is nothing, nothing can be hidden
|
file |
diff |
annotate
|
| 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
|