[isabelle-dev] NEWS: numeral representation

[Florian Haftmann]

> 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.

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- 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>