| Thu, 27 Jun 1996 15:24:17 +0200 | oheimb | re-added when_funs to library.ML | file | diff | annotate |
| Wed, 26 Jun 1996 17:38:34 +0200 | oheimb | function names in when_rews now meta-quantified | file | diff | annotate |
| 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 |