equal
deleted
inserted
replaced
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" |
163 "ProofGeneral/preferences.ML" |
164 "ProofGeneral/proof_general_emacs.ML" |
164 "ProofGeneral/proof_general.ML" |
165 "ProofGeneral/proof_general_pgip.ML" |
|
166 "ROOT.ML" |
165 "ROOT.ML" |
167 "Syntax/ast.ML" |
166 "Syntax/ast.ML" |
168 "Syntax/lexicon.ML" |
167 "Syntax/lexicon.ML" |
169 "Syntax/local_syntax.ML" |
168 "Syntax/local_syntax.ML" |
170 "Syntax/mixfix.ML" |
169 "Syntax/mixfix.ML" |