[isabelle] Compiling logics with PolyML 5.0 (ref. Makarius message on Jul, 6th)






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