equal
deleted
inserted
replaced
271 ML_file "Proof/proof_rewrite_rules.ML"; |
271 ML_file "Proof/proof_rewrite_rules.ML"; |
272 ML_file "Proof/proof_checker.ML"; |
272 ML_file "Proof/proof_checker.ML"; |
273 ML_file "Proof/extraction.ML"; |
273 ML_file "Proof/extraction.ML"; |
274 |
274 |
275 (*Isabelle system*) |
275 (*Isabelle system*) |
276 ML_file "System/$ISABELLE_WINDOWS_PREFIX/bash.ML"; |
276 ML_file "System/bash.ML"; |
277 ML_file "System/isabelle_system.ML"; |
277 ML_file "System/isabelle_system.ML"; |
278 |
278 |
279 |
279 |
280 (*theory documents*) |
280 (*theory documents*) |
281 ML_file "Thy/term_style.ML"; |
281 ML_file "Thy/term_style.ML"; |