[isabelle-dev] NEWS: numeral representation
florian.haftmann at informatik.tu-muenchen.de
Thu Mar 29 07:50:08 CEST 2012
> You had replaced Efficient_Nat.thy with a similar theory file named
> Code_Numeral_Nat.thy. I chose to rename this back to Efficient_Nat
> before doing the big merge, because it meant touching about a dozen
> fewer files, and avoiding breaking lots of AFP entries. I also
> reverted the updates that you put in NEWS and the other documentation
> related to the rename:
> If you still want to use the name "Code_Numeral_Nat", go ahead and put
> these changes back in.
I have no strong opinion about that. As it is now, theory »Code_Nat« is
not announced that prominently, but this is not that critical.
> Besides the Efficient_Nat/Code_Numeral_Nat naming, is there anything
> else that you are still missing?
No. Everything seems to be there.
All the best,
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 262 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev