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 |