author | wneuper <Walther.Neuper@jku.at> |
Thu, 04 Aug 2022 12:48:37 +0200 | |
changeset 60509 | 2e0b7ca391dc |
parent 59865 | 75a9d629ea53 |
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