[isabelle-dev] Future of Nat_Transfer
florian.haftmann at informatik.tu-muenchen.de
Thu Oct 19 13:56:47 CEST 2017
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.
for the current state of affairs.
My suggestion would be to remove it completely.
Any opinions on that?
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 819 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev