Fri, 18 Apr 1997 12:01:12 +0200 | wenzelm | print_goals: fixed show_sorts semantics; | file | diff | annotate |
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 |