> 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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
