Re: [isabelle] Isabelle2013-RC2 available for testing
Tiny mistake in “logics-HOL.pdf”. On page 8, it says “someI” is part of
HOL. It's not, it's in Main.
“Syntactic sugar causes cancer of the semi-colons.” 
“Structured Programming supports the law of the excluded muddle.” 
: Epigrams on Programming — Alan J. — P. Yale University
This archive was generated by a fusion of
Pipermail (Mailman edition) and