equal
deleted
inserted
replaced
9 "~/repos/afp/thys/Polynomials/Polynomial" |
9 "~/repos/afp/thys/Polynomials/Polynomial" |
10 "~/repos/afp/thys/Presburger-Automata/Presburger_Automata" |
10 "~/repos/afp/thys/Presburger-Automata/Presburger_Automata" |
11 "~/repos/afp/thys/Abstract-Rewriting/Abstract_Rewriting"*) |
11 "~/repos/afp/thys/Abstract-Rewriting/Abstract_Rewriting"*) |
12 begin |
12 begin |
13 |
13 |
14 ML_file "mutabelle.ML" |
14 ML_file \<open>mutabelle.ML\<close> |
15 ML_file "mutabelle_extra.ML" |
15 ML_file \<open>mutabelle_extra.ML\<close> |
16 |
16 |
17 |
17 |
18 section \<open>configuration\<close> |
18 section \<open>configuration\<close> |
19 |
19 |
20 ML \<open>val log_directory = ""\<close> |
20 ML \<open>val log_directory = ""\<close> |