equal
deleted
inserted
replaced
159 |
159 |
160 *** General *** |
160 *** General *** |
161 |
161 |
162 * kernel: meta-level proof terms (by Stefan Berghofer), see also ref |
162 * kernel: meta-level proof terms (by Stefan Berghofer), see also ref |
163 manual; |
163 manual; |
|
164 |
|
165 * Pure/axclass: removed obsolete ML interface goal_subclass/goal_arity; |
164 |
166 |
165 * classical: renamed addaltern to addafter, addSaltern to addSafter; |
167 * classical: renamed addaltern to addafter, addSaltern to addSafter; |
166 |
168 |
167 * clasimp: ``iff'' declarations now handle conditional rules as well; |
169 * clasimp: ``iff'' declarations now handle conditional rules as well; |
168 |
170 |