changeset 60516 | 795d1352493a |
parent 60509 | 2e0b7ca391dc |
child 60567 | bb3140a02f3d |
1.1 --- a/src/Tools/isac/ProgLang/Prog_Expr.thy Thu Aug 04 16:48:37 2022 +0200 1.2 +++ b/src/Tools/isac/ProgLang/Prog_Expr.thy Fri Aug 05 08:45:37 2022 +0200 1.3 @@ -5,7 +5,7 @@ 1.4 *) 1.5 1.6 theory Prog_Expr 1.7 - imports Calculate ListC Program 1.8 + imports Calc_Binop ListC Program 1.9 begin 1.10 1.11 text \<open>Abstract: