# HG changeset patch
# User wenzelm
# Date 1180628214 -7200
# Node ID 5d319b0f8bf9809b5bb7bdb89a6a633adf7ac258
# Parent  69e55066dbca9bbbf3a7c2eecb97732e97b35f7f
HOL_proofs;

diff -r 69e55066dbca -r 5d319b0f8bf9 src/HOL/Main.thy
--- a/src/HOL/Main.thy	Thu May 31 18:16:52 2007 +0200
+++ b/src/HOL/Main.thy	Thu May 31 18:16:54 2007 +0200
@@ -18,4 +18,6 @@
 
 setup ResAxioms.setup
 
+ML {* val HOL_proofs = !proofs *}
+
 end