Re: [isabelle] Isabelle2013-RC2 available for testing
On Wed, 6 Feb 2013, Yannick Duchêne (Hibou57) wrote:
Tiny mistake in “logics-HOL.pdf”. On page 8, it says “someI” is part of
HOL. It's not, it's in Main.
It is always good to have people looking closely, but here it is a lost
The logics-HOL manual has been categorized as "old / outdated" for several
years. Material from it is (slowly) moving into more current manuals, and
one day it shall disappear altogether.
This archive was generated by a fusion of
Pipermail (Mailman edition) and