moved meson up the dependency chain
authorblanchet
Thu Nov 21 21:33:34 2013 +0100 (2013-11-21)
changeset 545532b0da4c1dd40
parent 54552 5d57cbec0f0f
child 54554 b8d0d8407c3b
moved meson up the dependency chain
src/HOL/Meson.thy
     1.1 --- a/src/HOL/Meson.thy	Thu Nov 21 21:33:34 2013 +0100
     1.2 +++ b/src/HOL/Meson.thy	Thu Nov 21 21:33:34 2013 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  header {* MESON Proof Method *}
     1.5  
     1.6  theory Meson
     1.7 -imports Datatype
     1.8 +imports Nat
     1.9  begin
    1.10  
    1.11  subsection {* Negation Normal Form *}