equal
deleted
inserted
replaced
24 options [document = false (*, browser_info = true*)] |
24 options [document = false (*, browser_info = true*)] |
25 theories |
25 theories |
26 Build_Isac |
26 Build_Isac |
27 |
27 |
28 (* run "./bin/isabelle build -v -b Lucas_Interpreter" *) |
28 (* run "./bin/isabelle build -v -b Lucas_Interpreter" *) |
29 session Lucas_Interpreter = HOL + |
29 session Interpret = HOL + |
30 description \<open> |
30 description \<open> |
31 Session Isac restricted to code required for Lucas_Interpreter. |
31 Session Isac restricted to code required for Lucas_Interpreter. |
32 "Lucas-Interpretation on Isabelle’s Functions" |
32 "Lucas-Interpretation on Isabelle’s Functions" |
33 and meant as a first step towards documentation. |
33 and meant as a first step towards documentation. |
34 \<close> |
34 \<close> |