doc-src/Intro/bool_nat.thy
1993-11-10 lcp 1993-11-10 Initial revision