src/HOL/HOL.thy
changeset 5186 439e292b5b87
parent 5069 3ea049f7979d
child 5305 513925de8962
     1.1 --- a/src/HOL/HOL.thy	Fri Jul 24 13:27:23 1998 +0200
     1.2 +++ b/src/HOL/HOL.thy	Fri Jul 24 13:28:21 1998 +0200
     1.3 @@ -193,7 +193,6 @@
     1.4  
     1.5  setup Simplifier.setup
     1.6  setup ClasetThyData.setup
     1.7 -setup ThyData.setup
     1.8  
     1.9  
    1.10  end