Re: [isabelle] [isabelle-dev] thms with VERY long identifiers

Am 19.03.2012 17:29, schrieb Brian Huffman:
> It seems that the numeric indexing works if you omit the double quotes:
> @{thm Semiring_Normalization.comm_semiring_1_class.normalizing_semiring_rules(29)}

I guess the quotes version would be




PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

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