src/Doc/Codegen/Evaluation.thy
changeset 59378 065f349852e6
parent 59377 056945909f60
child 60754 02924903a6fd
     1.1 --- a/src/Doc/Codegen/Evaluation.thy	Thu Jan 15 13:39:41 2015 +0100
     1.2 +++ b/src/Doc/Codegen/Evaluation.thy	Thu Jan 15 13:39:41 2015 +0100
     1.3 @@ -1,6 +1,10 @@
     1.4  theory Evaluation
     1.5  imports Setup
     1.6 -begin
     1.7 +begin (*<*)
     1.8 +
     1.9 +ML \<open>
    1.10 +  Isabelle_System.mkdirs (File.tmp_path (Path.basic "examples"))
    1.11 +\<close> (*>*)
    1.12  
    1.13  section \<open>Evaluation \label{sec:evaluation}\<close>
    1.14