equal
deleted
inserted
replaced
80 (*\---------------------- do Minisubpbl before ADDTESTS/All_Ctxt ------------------------------/*) |
80 (*\---------------------- do Minisubpbl before ADDTESTS/All_Ctxt ------------------------------/*) |
81 (*"$ISABELLE_ISAC/Knowledge/GCD_Poly_OLD" (*not imported by Isac.thy*) Test_Isac_Short*) |
81 (*"$ISABELLE_ISAC/Knowledge/GCD_Poly_OLD" (*not imported by Isac.thy*) Test_Isac_Short*) |
82 (*"$ISABELLE_ISAC/Knowledge/GCD_Poly_FP" (*not imported by Isac.thy*) Test_Isac_Short*) |
82 (*"$ISABELLE_ISAC/Knowledge/GCD_Poly_FP" (*not imported by Isac.thy*) Test_Isac_Short*) |
83 (*\---------------------- do Minisubpbl before ADDTESTS/All_Ctxt ------------------------------/*) |
83 (*\---------------------- do Minisubpbl before ADDTESTS/All_Ctxt ------------------------------/*) |
84 ( **) |
84 ( **) |
|
85 "$ISABELLE_ISAC_TEST/Tools/isac/BridgeJEdit/Test_VSCode_Example" |
85 |
86 |
86 begin |
87 begin |
87 |
88 |
88 declare [[ML_print_depth = 20]] |
89 declare [[ML_print_depth = 20]] |
89 |
90 |