| changeset 11965 | c84eb86d9a5f |
| parent 11952 | b10f1e8862f4 |
| child 11986 | 26b95a6f3f79 |
--- a/NEWS Sat Oct 27 23:13:42 2001 +0200 +++ b/NEWS Sat Oct 27 23:15:52 2001 +0200 @@ -162,6 +162,8 @@ * kernel: meta-level proof terms (by Stefan Berghofer), see also ref manual; +* Pure/axclass: removed obsolete ML interface goal_subclass/goal_arity; + * classical: renamed addaltern to addafter, addSaltern to addSafter; * clasimp: ``iff'' declarations now handle conditional rules as well;