[isabelle] (no subject)



Hello,

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.

Best regards,
Jan Smaus






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