doc-src/Intro/bool.thy

Added "using" to the beginning of original newman proof again, because
it was lost during last update; renamed second version of newman to
newman' (this allows for a comparison of the primitive proof objects,
for example).

Bool = FOL +
types 	bool 0
arities bool 	:: term
consts tt,ff	:: "bool"
end