# HG changeset patch
# User wenzelm
# Date 1004217352 -7200
# Node ID c84eb86d9a5f69dd0397bd9ecf486303f4a98636
# Parent  828ea309dc21f90e799cdf7fad84cdd5aab9057b
* Pure/axclass: removed obsolete ML interface goal_subclass/goal_arity;

diff -r 828ea309dc21 -r c84eb86d9a5f NEWS
--- 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;