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.” [1]
“Structured Programming supports the law of the excluded muddle.” [1]
[1]: Epigrams on Programming — Alan J. — P. Yale University






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.