equal
deleted
inserted
replaced
74 use_thy "Main"; |
74 use_thy "Main"; |
75 |
75 |
76 print_depth 8; |
76 print_depth 8; |
77 |
77 |
78 Goal "True"; (*leave subgoal package empty*) |
78 Goal "True"; (*leave subgoal package empty*) |
79 |
|
80 val HOL_build_completed = (); (*indicate successful build*) |
|