equal
deleted
inserted
replaced
3 Author: Sebastian Skalberg (TU Muenchen) |
3 Author: Sebastian Skalberg (TU Muenchen) |
4 *) |
4 *) |
5 |
5 |
6 signature IMPORT_PACKAGE = |
6 signature IMPORT_PACKAGE = |
7 sig |
7 sig |
8 val import_meth: Args.src -> Proof.context -> Proof.method |
8 val import_meth: Method.src -> Proof.context -> Proof.method |
9 val setup : (theory -> theory) list |
9 val setup : (theory -> theory) list |
10 val debug : bool ref |
10 val debug : bool ref |
11 end |
11 end |
12 |
12 |
13 structure ImportDataArgs: THEORY_DATA_ARGS = |
13 structure ImportDataArgs: THEORY_DATA_ARGS = |