[isabelle] Parameterized theory



Dear all,
it's possible define in Isabelle a theory parameterized on an index?

Thanks
Gabriele




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