src/HOL/Hilbert_Choice.thy
changeset 21999 0cf192e489e2
parent 21243 afffe1f72143
child 22690 0b08f218f260
     1.1 --- a/src/HOL/Hilbert_Choice.thy	Thu Jan 04 17:52:28 2007 +0100
     1.2 +++ b/src/HOL/Hilbert_Choice.thy	Thu Jan 04 17:55:12 2007 +0100
     1.3 @@ -620,10 +620,9 @@
     1.4  *}
     1.5  
     1.6  
     1.7 -subsection {* Meson method setup *}
     1.8 +subsection {* Meson package *}
     1.9  
    1.10  use "Tools/meson.ML"
    1.11 -setup Meson.skolemize_setup
    1.12  
    1.13  
    1.14  subsection {* Specification package -- Hilbertized version *}