src/HOL/cladata.ML
changeset 10429 8820f787e61e
parent 10383 a092ae7bb2a6
child 10906 de95ba2760fe
     1.1 --- a/src/HOL/cladata.ML	Fri Nov 10 16:31:28 2000 +0100
     1.2 +++ b/src/HOL/cladata.ML	Fri Nov 10 19:00:22 2000 +0100
     1.3 @@ -47,7 +47,7 @@
     1.4    val classical = classical
     1.5    val sizef     = size_of_thm
     1.6    val hyp_subst_tacs=[hyp_subst_tac]
     1.7 -  val atomize	= thms "atomize"
     1.8 +  val atomize	= thms "atomize'"
     1.9    end;
    1.10  
    1.11  structure Classical = ClassicalFun(Classical_Data);