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 cause.

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 MHonArc.