Re: [isabelle] Documentation?



I see, thank you! 

    Johannes HÃlzl <hoelzl at in.tum.de> schrieb am 12:14 Samstag, 5.MÃrz 2016:
 

 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.