[isabelle-dev] NEWS: numeral representation
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 262 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev