[isabelle] Documentation?



Hello,
where can I find a documentation for the theory Numeral Type? Does every theory have a documentation?
Thank you!


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