| changeset 70008 | 7aaebfcf3134 |
| parent 69597 | ff784d5a5bfb |
| child 74399 | a1d33d1bfb6d |
| 70007:063da22e1c9e | 70008:7aaebfcf3134 |
|---|---|
197 ML_val {* check_theory @{theory List} *} |
197 ML_val {* check_theory @{theory List} *} |
198 ML_val {* check_theory @{theory Map} *} |
198 ML_val {* check_theory @{theory Map} *} |
199 ML_val {* check_theory @{theory Relation} *} |
199 ML_val {* check_theory @{theory Relation} *} |
200 *) |
200 *) |
201 |
201 |
202 ML \<open>getenv "ISABELLE_TMP"\<close> |
|
203 |
|
204 end |
202 end |