doc-src/HOL/HOL-eg.txt
1999-05-04 wenzelm 1999-05-04 used to be part of 'logics' manual;