src/HOL/Nitpick_Examples/Mono_Nits.thy
changeset 70008 7aaebfcf3134
parent 69597 ff784d5a5bfb
child 74399 a1d33d1bfb6d
equal deleted inserted replaced
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