| changeset 72375 | e48d93811ed7 |
| parent 69658 | 7357a4f79f60 |
| child 76987 | 4c275405faae |
| 72374:4c8295f2f849 | 72375:e48d93811ed7 |
|---|---|
1 theory Evaluation |
1 theory Evaluation |
2 imports Setup |
2 imports Setup |
3 begin (*<*) |
3 begin (*<*) |
4 |
4 |
5 ML \<open> |
5 ML \<open> |
6 Isabelle_System.mkdirs (File.tmp_path (Path.basic "examples")) |
6 Isabelle_System.make_directory (File.tmp_path (Path.basic "examples")) |
7 \<close> (*>*) |
7 \<close> (*>*) |
8 |
8 |
9 section \<open>Evaluation \label{sec:evaluation}\<close> |
9 section \<open>Evaluation \label{sec:evaluation}\<close> |
10 |
10 |
11 text \<open> |
11 text \<open> |