Fri, 31 May 1996 20:25:59 +0200 | oheimb | adapted use of monofun_cfun_arg | file | diff | annotate |
Tue, 23 Apr 1996 17:01:51 +0200 | oheimb | *** empty log message *** | file | diff | annotate |
Thu, 04 Apr 1996 13:28:50 +0200 | oheimb | Removed 8bit characters used by mistake | file | diff | annotate |
Wed, 03 Apr 1996 20:08:27 +0200 | oheimb | *** empty log message *** | file | diff | annotate |
Wed, 03 Apr 1996 19:27:14 +0200 | oheimb | Updated: 01-Mar-96 when functional strictified, copy_def based on when_def | file | diff | annotate |
Fri, 16 Feb 1996 18:00:47 +0100 | paulson | Elimination of fully-functorial style. | file | diff | annotate |
Tue, 30 Jan 1996 13:42:57 +0100 | clasohm | expanded tabs | file | diff | annotate |
Fri, 06 Oct 1995 17:25:24 +0100 | regensbu | added 8bit pragmas | file | diff | annotate |