changeset 13034 | d7bb6e4f5f82 |
parent 11748 | 06eb315831ff |
child 14156 | 2072802ab0e3 |
--- a/src/FOL/cladata.ML Wed Mar 06 17:55:10 2002 +0100 +++ b/src/FOL/cladata.ML Wed Mar 06 17:56:02 2002 +0100 @@ -12,7 +12,7 @@ structure Make_Elim = Make_Elim_Fun(val classical = classical); (*we don't redeclare the original make_elim (Tactic.make_elim) for - compatibliity with strange things done in many existing proofs *) + compatibility with strange things done in many existing proofs *) val cla_make_elim = Make_Elim.make_elim; (*** Applying ClassicalFun to create a classical prover ***)