src/HOLCF/ax_ops/thy_ops.ML
Wed, 27 Nov 1996 10:40:45 +0100 paulson Eta-expanded some declarations that are illegal under value polymorphism
Tue, 18 Jun 1996 16:17:38 +0200 paulson Translation infixes <->, etc., no longer available at top-level
Fri, 16 Feb 1996 18:00:47 +0100 paulson Elimination of fully-functorial style.
Tue, 30 Jan 1996 13:42:57 +0100 clasohm expanded tabs
Tue, 17 Oct 1995 16:53:29 +0100 regensbu removed incompatibility with sml
Fri, 06 Oct 1995 17:25:24 +0100 regensbu added 8bit pragmas
less more (0) tip