* Pure/axclass: removed obsolete ML interface goal_subclass/goal_arity;

--- 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;