loadpath replaced;

--- a/NEWS	Fri Apr 16 17:48:46 1999 +0200
+++ b/NEWS	Fri Apr 16 18:52:03 1999 +0200
@@ -33,6 +33,10 @@
 
 *** General ***
 
+* theory loader rewritten from scratch (may not be fully
+bug-compatible); old loadpath variable has been replaced by show_path,
+add_path, del_path, reset_path functions;
+
 * in locales, the "assumes" and "defines" parts may be omitted if
 empty;