Tue, 26 Nov 1996 16:11:18 +0100 | paulson | Eta-expansion of a function definition, for value polymorphism | file | diff | annotate |
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 |