* Pure/axclass: removed obsolete ML interface goal_subclass/goal_arity;
authorwenzelm
Sat Oct 27 23:15:52 2001 +0200 (2001-10-27)
changeset 11965c84eb86d9a5f
parent 11964 828ea309dc21
child 11966 8fe2ee787608
* Pure/axclass: removed obsolete ML interface goal_subclass/goal_arity;
NEWS
     1.1 --- a/NEWS	Sat Oct 27 23:13:42 2001 +0200
     1.2 +++ b/NEWS	Sat Oct 27 23:15:52 2001 +0200
     1.3 @@ -162,6 +162,8 @@
     1.4  * kernel: meta-level proof terms (by Stefan Berghofer), see also ref
     1.5  manual;
     1.6  
     1.7 +* Pure/axclass: removed obsolete ML interface goal_subclass/goal_arity;
     1.8 +
     1.9  * classical: renamed addaltern to addafter, addSaltern to addSafter;
    1.10  
    1.11  * clasimp: ``iff'' declarations now handle conditional rules as well;