40 ML_file substitution.sml |
40 ML_file substitution.sml |
41 ML_file contextC.sml |
41 ML_file contextC.sml |
42 ML_file environment.sml |
42 ML_file environment.sml |
43 ( ** ) "BaseDefinitions/BaseDefinitions"( **) |
43 ( ** ) "BaseDefinitions/BaseDefinitions"( **) |
44 (* |
44 (* |
45 theory Calculate imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions" |
45 theory Calc_Binop imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions" |
46 at $ISABELLE_ISAC/ProgLang |
46 at $ISABELLE_ISAC/ProgLang |
47 ML_file evaluate.sml |
47 ML_file evaluate.sml |
48 theory ListC imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions" |
48 theory ListC imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions" |
49 theory Program imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions" |
49 theory Program imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions" |
50 theory Prog_Expr imports Calculate ListC Program |
50 theory Prog_Expr imports Calc_Binop ListC Program |
51 theory Prog_Tac imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions" |
51 theory Prog_Tac imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions" |
52 theory Tactical imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions" |
52 theory Tactical imports "$ISABELLE_ISAC/BaseDefinitions/BaseDefinitions" |
53 theory Auto_Prog imports Prog_Tac Tactical |
53 theory Auto_Prog imports Prog_Tac Tactical |
54 theory ProgLang imports Prog_Expr Auto_Prog |
54 theory ProgLang imports Prog_Expr Auto_Prog |
55 at $ISABELLE_ISAC/ProgLang |
55 at $ISABELLE_ISAC/ProgLang |