[isabelle] tracing automatic datatype theorems



Hi,

is it possible to see the details of the proof of

   Suc n â 0

?

This is an automatic proof so the proof script is not easily available I guess.

- Gergely


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