[isabelle-dev] HOL-Bali

Lawrence Paulson lp15 at cam.ac.uk
Fri Aug 14 11:12:10 CEST 2009

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

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

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

More information about the isabelle-dev mailing list