Re: [isabelle] Documentation?



Am Freitag, den 04.03.2016, 13:05 +0000 schrieb Jonathan Woodgate via
Cl-isabelle-users:
> Hello,
> where can I find a documentation for the theory Numeral Type? Does
> every theory have a documentation?
> Thank you!

You find the type under src/HOL/Library/Numeral_Type.thy .
  http://isabelle.in.tum.de/dist/library/HOL/HOL-Library/Numeral_Type.html
I think there is not much documentation besides this.

 - Johannes 





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