| Thu, 27 Jul 1995 13:13:32 +0200 | wenzelm | minor fix: instance now raises error if witness axioms don't exist; | file | diff | annotate |
| Fri, 27 Jan 1995 13:31:26 +0100 | wenzelm | instance: now automatically includes defs of current thy node as witnesses; | file | diff | annotate |
| Wed, 12 Oct 1994 16:32:06 +0100 | wenzelm | prove_subclass, prove_arity now exported; | file | diff | annotate |
| Fri, 19 Aug 1994 15:39:52 +0200 | wenzelm | cleaned sig; | file | diff | annotate |
| Wed, 27 Jul 1994 15:14:31 +0200 | wenzelm | added experimental add_defns (actually should be moved somewhere else); | file | diff | annotate |
| Thu, 14 Jul 1994 11:39:25 +0200 | wenzelm | added functor signature constraint; | file | diff | annotate |
| Wed, 06 Jul 1994 12:49:56 +0200 | wenzelm | various minor changes (names and comments); | file | diff | annotate |
| Thu, 16 Jun 1994 12:05:53 +0200 | wenzelm | (beta release) | file | diff | annotate |
| Thu, 26 May 1994 16:53:58 +0200 | wenzelm | axiomatic type class 'package' for Pure (alpha version); | file | diff | annotate |