[isabelle-dev] NEWS: numeral representation

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Thu Mar 29 08:30:14 CEST 2012

> However, you have talked about making the binary representation for
> "nat" the default in HOL-Main, i.e. merging Code_Nat into the Nat/Num
> theories. Are you still interested in doing this?

Definitely, among other related things.  But I'm not very optimistic
this can be done before the end of April.  It is not essential that it
makes its way into the next release.



PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20120329/4443f442/attachment.sig>

More information about the isabelle-dev mailing list