[isabelle-dev] Strange behavior in Word library
matthews at galois.com
Tue Nov 20 17:53:31 CET 2007
> Since this requires a bit of ML coding and we are already in
> feature freeze
> for the release, I'd say we postpone this to after Isabelle2007.
> Note that
> this only applies to literals occurring as a deep sub term, things
> "7 = (0b11::2 word)" are still shown automatically by simp.
Sounds good to me. Thanks for looking into it.
More information about the isabelle-dev