equal
deleted
inserted
replaced
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 Lucas_Interpreter = 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" |
|
33 and meant as a first step towards documentation. |
32 \<close> |
34 \<close> |
33 options [document = false (*, browser_info = true*)] |
35 options [document = false (*, browser_info = true*)] |
34 theories |
36 theories |
35 "Interpret/Interpret" |
37 "Interpret/Interpret" |