| changeset 21940 | fbd068dd4d29 |
| parent 21637 | a7b156c404e2 |
| child 22165 | eaec72532dd7 |
| 21939:9b772ac66830 | 21940:fbd068dd4d29 |
|---|---|
1 (* Title: Pure/ProofGeneral/pgip_isabelle.ML |
1 (* Title: Pure/ProofGeneral/pgip_isabelle.ML |
2 ID: $Id$ |
2 ID: $Id$ |
3 Author: David Aspinall |
3 Author: David Aspinall |
4 |
4 |
5 Prover-side PGIP abstraction: Isabelle configuration |
5 Prover-side PGIP abstraction: Isabelle configuration. |
6 *) |
6 *) |
7 |
7 |
8 signature PGIP_ISABELLE = |
8 signature PGIP_ISABELLE = |
9 sig |
9 sig |
10 val isabelle_pgml_version_supported : string |
10 val isabelle_pgml_version_supported : string |