equal
deleted
inserted
replaced
25 ISABELLE REFERENCE MANUAL |
25 ISABELLE REFERENCE MANUAL |
26 |
26 |
27 Introduction |
27 Introduction |
28 |
28 |
29 page 67: show_brackets is another flag, controlling display of bracketting |
29 page 67: show_brackets is another flag, controlling display of bracketting |
|
30 show_sorts:=true forces display of types |
30 |
31 |
31 Tactics |
32 Tactics |
32 |
33 |
33 page 85: subgoals_tac is another tactic, for multiple calls to subgoal_tac |
34 page 85: subgoals_tac is another tactic, for multiple calls to subgoal_tac |
34 |
35 |