| changeset 44548 | 29eb1cd29961 |
| parent 44528 | 511df47bcadc |
| child 45038 | 9a35e88d9dc9 |
| 44547:e9f26e66692d | 44548:29eb1cd29961 |
|---|---|
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 abstract class Thy_Load |
9 abstract class Thy_Load |
10 { |
10 { |
11 def is_loaded(name: String): Boolean |
|
12 |
|
11 def check_thy(dir: Path, name: String): (String, Thy_Header.Header) |
13 def check_thy(dir: Path, name: String): (String, Thy_Header.Header) |
12 } |
14 } |
13 |
15 |