changeset 66453 | cc19f7ca2ed6 |
parent 65981 | e2c25346b156 |
child 68484 | 59793df7f853 |
66452:450cefec7c11 | 66453:cc19f7ca2ed6 |
---|---|
1 theory Introduction |
1 theory Introduction |
2 imports Setup |
2 imports Codegen_Basics.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.mkdirs (File.tmp_path (Path.basic "examples")) |
7 \<close> (*>*) |
7 \<close> (*>*) |