LIB-OBJECTS2 : TPS-FILE
LIB-OBJECTS2 is a file.
Functions to handle rewrite rules, theories and other types
of objects not loaded into all versions of the library.
/home/theorem/tps/lisp/lib-objects2.lisp is part of module RRULES.
TPS documentation homepage