equal
deleted
inserted
replaced
97 diff -r Isabelle-2.6/elisp/isa-proofstate.el Isamode/elisp/isa-proofstate.el |
97 diff -r Isabelle-2.6/elisp/isa-proofstate.el Isamode/elisp/isa-proofstate.el |
98 181c181 |
98 181c181 |
99 < (defconst proofstate-proofstart-regexp "^Level [0-9]+$" |
99 < (defconst proofstate-proofstart-regexp "^Level [0-9]+$" |
100 --- |
100 --- |
101 > (defconst proofstate-proofstart-regexp "^Level [0-9]+" |
101 > (defconst proofstate-proofstart-regexp "^Level [0-9]+" |
|
102 |
|
103 * function bind_thms stores lists of theorems (cf. bind_thm); |
102 |
104 |
103 |
105 |
104 *** HOL *** |
106 *** HOL *** |
105 |
107 |
106 ** HOL arithmetic ** |
108 ** HOL arithmetic ** |