# HG changeset patch
# User paulson
# Date 968141676 -7200
# Node ID da5ca8b302449868f0222d022ef988720e7388da
# Parent  dc84dda48a5a1970e891491c290dd40d779551dd
loads Tools/meson.ML: meson_tac installed by default

diff -r dc84dda48a5a -r da5ca8b30244 src/HOL/HOL.thy
--- a/src/HOL/HOL.thy	Tue Sep 05 10:13:20 2000 +0200
+++ b/src/HOL/HOL.thy	Tue Sep 05 10:14:36 2000 +0200
@@ -7,7 +7,8 @@
 *)
 
 theory HOL = CPure
-files ("HOL_lemmas.ML") ("cladata.ML") ("blastdata.ML") ("simpdata.ML"):
+files ("HOL_lemmas.ML") ("cladata.ML") ("blastdata.ML") ("simpdata.ML") 
+      ("Tools/meson.ML"):
 
 
 (** Core syntax **)
@@ -221,4 +222,6 @@
                         setup Splitter.setup setup Clasimp.setup setup iff_attrib_setup
 			setup attrib_setup
 
+use "Tools/meson.ML"
+
 end