[isabelle-dev] Strange behavior in Word library

[John Matthews]

Hi Gerwin,

> 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  
> like
> "7 = (0b11::2 word)" are still shown automatically by simp.

Sounds good to me. Thanks for looking into it.

-john