doc-src/HOL/HOL-eg.txt
Tue, 04 May 1999 18:03:56 +0200 wenzelm used to be part of 'logics' manual;
less more (0) tip