Re: [isabelle] (no subject)
On Wed, 27 Aug 2008, Jan-Georg Smaus wrote:
> I would like to point out that in the Isabelle 2008 library, in
> http://isabelle.in.tum.de/library/HOL/Transitive_Closure.html it says that
> "uses ($ISABELLE_HOME/src/Provers/trancl.ML)"
> but in fact, this is a dead link.
Thanks. We have noticed already that all ML links are broken, and fixed
it recently, i.e. it will work again in the next release.
This archive was generated by a fusion of
Pipermail (Mailman edition) and