doc-src/Intro/bool.thy
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
1993-11-10 lcp 1993-11-10 Initial revision