# HG changeset patch
# User wenzelm
# Date 1214689963 -7200
# Node ID facb528f18343927ae288dcc9e051402cf2cc6f3
# Parent  a420578f9599a987be4d1066a5af0059089a49f2
added ML/ml_thms.ML;

diff -r a420578f9599 -r facb528f1834 src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Sat Jun 28 22:58:49 2008 +0200
+++ b/src/Pure/Isar/ROOT.ML	Sat Jun 28 23:52:43 2008 +0200
@@ -42,6 +42,7 @@
 use "skip_proof.ML";
 use "method.ML";
 use "proof.ML";
+use "../ML/ml_thms.ML";
 use "element.ML";
 use "net_rules.ML";