Re: [isabelle] Documentation?

Am Freitag, den 04.03.2016, 13:05 +0000 schrieb Jonathan Woodgate via
> 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 .
I think there is not much documentation besides this.

 - Johannes 

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