changeset 59630 | d345b109672f |
parent 59620 | 086e4d9967a3 |
child 59637 | 8881c5d28f82 |
1.1 --- a/src/Tools/isac/ProgLang/Prog_Expr.thy Wed Sep 18 17:23:02 2019 +0200 1.2 +++ b/src/Tools/isac/ProgLang/Prog_Expr.thy Sun Sep 22 14:47:35 2019 +0200 1.3 @@ -5,7 +5,7 @@ 1.4 *) 1.5 1.6 theory Prog_Expr 1.7 - imports Calculate 1.8 + imports Calculate ListC 1.9 begin 1.10 1.11 text \<open>Abstract: