[isabelle] TLA thoery in src directory



Hi,
    I find that the TLA theory in  src directory is quite strange. It
can not be
processed by Isabelle/Isar.
   Could you please explain sth about  it?

regards!






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