changeset 59717 | cc83c55e1c1c |
parent 59637 | 8881c5d28f82 |
child 59733 | 927379190abd |
1.1 --- a/src/Tools/isac/ProgLang/Prog_Expr.thy Thu Nov 21 12:05:56 2019 +0100 1.2 +++ b/src/Tools/isac/ProgLang/Prog_Expr.thy Thu Nov 21 15:31:32 2019 +0100 1.3 @@ -5,7 +5,7 @@ 1.4 *) 1.5 1.6 theory Prog_Expr 1.7 - imports Calculate ListC 1.8 + imports Calculate ListC Program 1.9 begin 1.10 1.11 text \<open>Abstract: