src/HOL/W0/W.thy
Fri, 17 Jan 1997 13:21:54 +0100 nipkow This is the old version og MiniML for the monomorphic case.
less more (0) tip