src/Pure/Isar/calculation.ML
changeset 14564 3667b4616e9a
parent 14555 341908d6c792
child 14981 e73f8140af78
     1.1 --- a/src/Pure/Isar/calculation.ML	Wed Apr 14 13:26:27 2004 +0200
     1.2 +++ b/src/Pure/Isar/calculation.ML	Wed Apr 14 13:28:46 2004 +0200
     1.3 @@ -150,7 +150,7 @@
     1.4        state
     1.5        |> reset_calculation
     1.6        |> Proof.reset_thms calculationN
     1.7 -      |> Proof.simple_have_thms "" calc
     1.8 +      |> Proof.simple_note_thms "" calc
     1.9        |> Proof.chain;
    1.10  
    1.11