equal
deleted
inserted
replaced
72 \subsection{Continuing the `ground terms' example} |
72 \subsection{Continuing the `ground terms' example} |
73 |
73 |
74 |
74 |
75 Minor additions to the tutorial, unclear where |
75 Minor additions to the tutorial, unclear where |
76 ============================================== |
76 ============================================== |
|
77 |
|
78 case_tac on bool? |
77 |
79 |
78 Tacticals: , ? + |
80 Tacticals: , ? + |
79 Note: + is used in typedef section! |
81 Note: + is used in typedef section! |
80 |
82 |
81 A list of further useful commands (rules? tricks?) |
83 A list of further useful commands (rules? tricks?) |