# HG changeset patch
# User blanchet
# Date 1385066014 -3600
# Node ID 2b0da4c1dd4032664c88cca42fd22ae1dd481674
# Parent  5d57cbec0f0ffea74d4dae5660541869e2051bdd
moved meson up the dependency chain

diff -r 5d57cbec0f0f -r 2b0da4c1dd40 src/HOL/Meson.thy
--- a/src/HOL/Meson.thy	Thu Nov 21 21:33:34 2013 +0100
+++ b/src/HOL/Meson.thy	Thu Nov 21 21:33:34 2013 +0100
@@ -8,7 +8,7 @@
 header {* MESON Proof Method *}
 
 theory Meson
-imports Datatype
+imports Nat
 begin
 
 subsection {* Negation Normal Form *}