Re: [isabelle] Cl-isabelle-users Digest, Vol 78, Issue 8



I am so sorry for the mis-sent e-mail. Please forgive my fat fingers.

Tim 







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