Re: [isabelle] thm commands




Don't anyone bother looking at the previous query, it was a simple typo
(in fact, a space, which was why it wasn't immediately obvious)

Jeremy





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