| changeset 17384 | c01de5939f5b |
| parent 17350 | 26cd3756377a |
| child 18223 | 20830cb4428c |
--- a/src/Pure/Isar/calculation.ML Wed Sep 14 22:04:34 2005 +0200 +++ b/src/Pure/Isar/calculation.ML Wed Sep 14 22:04:35 2005 +0200 @@ -153,10 +153,7 @@ fun print_calculation false _ _ = () | print_calculation true ctxt calc = - Pretty.writeln (Pretty.big_list "calculation:" (map (ProofContext.pretty_thm ctxt) calc)); -(* FIXME Pretty.writeln (ProofContext.pretty_fact ctxt (calculationN, calc)); -*) (* also and finally *)