1.1 --- a/src/Tools/isac/Build_Isac.thy	Thu Aug 04 16:48:37 2022 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Fri Aug 05 08:45:37 2022 +0200
     1.3 @@ -42,12 +42,12 @@
     1.4      ML_file environment.sml
     1.5  ( ** )    "BaseDefinitions/BaseDefinitions"( **)
     1.6  (*
     1.7 -      theory Calculate imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions"
     1.8 +      theory Calc_Binop imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions"
     1.9          at $ISABELLE_ISAC/ProgLang
    1.10          ML_file evaluate.sml
    1.11        theory ListC imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions"
    1.12        theory Program imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions"
    1.13 -    theory Prog_Expr imports Calculate ListC Program
    1.14 +    theory Prog_Expr imports Calc_Binop ListC Program
    1.15       theory Prog_Tac imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions"
    1.16        theory Tactical imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions"
    1.17      theory Auto_Prog imports Prog_Tac Tactical