equal
deleted
inserted
replaced
285 (*toplevel transactions*) |
285 (*toplevel transactions*) |
286 ML_file "Isar/proof_node.ML"; |
286 ML_file "Isar/proof_node.ML"; |
287 ML_file "Isar/toplevel.ML"; |
287 ML_file "Isar/toplevel.ML"; |
288 |
288 |
289 (*proof term operations*) |
289 (*proof term operations*) |
|
290 ML_file "Proof/proof_rewrite_rules.ML"; |
290 ML_file "Proof/proof_syntax.ML"; |
291 ML_file "Proof/proof_syntax.ML"; |
291 ML_file "Proof/proof_rewrite_rules.ML"; |
|
292 ML_file "Proof/proof_checker.ML"; |
292 ML_file "Proof/proof_checker.ML"; |
293 ML_file "Proof/extraction.ML"; |
293 ML_file "Proof/extraction.ML"; |
294 |
294 |
295 (*Isabelle system*) |
295 (*Isabelle system*) |
296 ML_file "System/bash.ML"; |
296 ML_file "System/bash.ML"; |