equal
deleted
inserted
replaced
4 Miscellaneous tools and packages for Pure Isabelle. |
4 Miscellaneous tools and packages for Pure Isabelle. |
5 *) |
5 *) |
6 |
6 |
7 (*class package*) |
7 (*class package*) |
8 use "class_package.ML"; |
8 use "class_package.ML"; |
|
9 |
|
10 (*code generator theorems*) |
|
11 use "codegen_theorems.ML"; |
9 |
12 |
10 (*code generator, 1st generation*) |
13 (*code generator, 1st generation*) |
11 use "../codegen.ML"; |
14 use "../codegen.ML"; |
12 |
15 |
13 (*code generator, 2nd generation*) |
16 (*code generator, 2nd generation*) |