doc-src/HOL/HOL-rules.txt
1999-05-04 wenzelm used to be part of 'logics' manual;
less more (0) tip