equal
deleted
inserted
replaced
158 "Proof/extraction.ML" |
158 "Proof/extraction.ML" |
159 "Proof/proof_checker.ML" |
159 "Proof/proof_checker.ML" |
160 "Proof/proof_rewrite_rules.ML" |
160 "Proof/proof_rewrite_rules.ML" |
161 "Proof/proof_syntax.ML" |
161 "Proof/proof_syntax.ML" |
162 "Proof/reconstruct.ML" |
162 "Proof/reconstruct.ML" |
163 "ProofGeneral/preferences.ML" |
|
164 "ProofGeneral/proof_general.ML" |
163 "ProofGeneral/proof_general.ML" |
165 "ROOT.ML" |
164 "ROOT.ML" |
166 "Syntax/ast.ML" |
165 "Syntax/ast.ML" |
167 "Syntax/lexicon.ML" |
166 "Syntax/lexicon.ML" |
168 "Syntax/local_syntax.ML" |
167 "Syntax/local_syntax.ML" |