[isabelle-dev] HOL-Bali

[Lawrence Paulson]

I have no idea. With Mercurial I don't know how to compare what I have  
with what it should be.
Larry

On 14 Aug 2009, at 10:16, Stefan Berghofer wrote:

> it seems that the \<^sup> in r\<^sup>* has disappeared.
> Maybe some Emacs oddity?