src/Pure/axclass.ML
Wed, 04 Jun 1997 12:26:42 +0200 wenzelm eliminated freeze_vars;
Wed, 16 Apr 1997 18:21:00 +0200 wenzelm Sorts.str_of_arity;
Fri, 21 Feb 1997 15:31:47 +0100 paulson Replaced "flat" by the Basis Library function List.concat
Thu, 28 Nov 1996 10:44:24 +0100 paulson Replaced map...~~ by ListPair.map
Fri, 16 Feb 1996 11:35:52 +0100 paulson Elimination of fully-functorial style.
Fri, 01 Sep 1995 13:08:55 +0200 wenzelm adapted to new version of shyps-stuff;
Tue, 01 Aug 1995 17:20:21 +0200 wenzelm modified prep_thm_axm to handle shyps;
Thu, 27 Jul 1995 13:13:32 +0200 wenzelm minor fix: instance now raises error if witness axioms don't exist;
Fri, 27 Jan 1995 13:31:26 +0100 wenzelm instance: now automatically includes defs of current thy node as witnesses;
Wed, 12 Oct 1994 16:32:06 +0100 wenzelm prove_subclass, prove_arity now exported;
Fri, 19 Aug 1994 15:39:52 +0200 wenzelm cleaned sig;
Wed, 27 Jul 1994 15:14:31 +0200 wenzelm added experimental add_defns (actually should be moved somewhere else);
Thu, 14 Jul 1994 11:39:25 +0200 wenzelm added functor signature constraint;
Wed, 06 Jul 1994 12:49:56 +0200 wenzelm various minor changes (names and comments);
Thu, 16 Jun 1994 12:05:53 +0200 wenzelm (beta release)
Thu, 26 May 1994 16:53:58 +0200 wenzelm axiomatic type class 'package' for Pure (alpha version);
less more (0) tip