| author | Walther Neuper <walther.neuper@jku.at> |
| Fri, 10 Apr 2020 14:46:55 +0200 | |
| changeset 59865 | 75a9d629ea53 |
| parent 59634 | c4676196bc15 |
| permissions | -rw-r--r-- |
1 (* Title: collect all defitions for the program language
2 Author: Walther Neuper 100831
3 (c) due to copyright terms
4 *)
5 theory ProgLang
6 imports Prog_Expr Auto_Prog
7 begin
9 text \<open>Abstract:
10 The imported theories define the language, which extends Isabelle's functions to
11 Isac's programs for Lucas-Interpretation.
12 \<close>
13 ML \<open>
14 \<close> ML \<open>
15 \<close> ML \<open>
16 \<close>
17 end