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 |