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



--- Begin Message ---


--- End Message ---


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