Fri, 07 Feb 1997 14:13:58 +0100 | nipkow | Modified proofs because of added "triv_forall_equality". | file | diff | annotate |
Fri, 17 Jan 1997 16:58:59 +0100 | nipkow | Incorporated Larry's changes. | file | diff | annotate |
Fri, 17 Jan 1997 13:21:54 +0100 | nipkow | This is the old version og MiniML for the monomorphic case. | file | diff | annotate |