src/HOL/HOL.thy
changeset 26957 e3f04fdd994d
parent 26747 f32fa5f5bdd1
child 27107 4a7415c67063
     1.1 --- a/src/HOL/HOL.thy	Sun May 18 17:03:16 2008 +0200
     1.2 +++ b/src/HOL/HOL.thy	Sun May 18 17:03:20 2008 +0200
     1.3 @@ -6,7 +6,7 @@
     1.4  header {* The basis of Higher-Order Logic *}
     1.5  
     1.6  theory HOL
     1.7 -imports CPure
     1.8 +imports Pure
     1.9  uses
    1.10    ("hologic.ML")
    1.11    "~~/src/Tools/IsaPlanner/zipper.ML"