Dear all,

the nowadays ancient theory Nat_Transfer (essentially providing an
attribute to transfer ad-hoc between theorems on nat vs. int) is almost

* Ā»almostĀ« since I haven't figured out how relevant it is still for

* Conversion between nat and int is rarely needed since most common
lemmas are provided by type classes anyway nowadays.

See also
for the current state of affairs.

My suggestion would be to remove it completely.

Any opinions on that?



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

isabelle-dev mailing list

Reply via email to