| Wed, 13 Nov 1996 10:38:08 +0100 | paulson | Removal of polymorphic equality via mem, subset, eq_set, etc | file | diff | annotate |
| Wed, 20 Mar 1996 18:39:59 +0100 | paulson | New module for display/printing operations, taken from drule.ML | file | diff | annotate |