Thanks for spotting that, I will have a look at these. Cheers, Gerwin
On 12 Dec 2013, at 11:36 pm, Florian Haftmann <[email protected]> wrote: > hg id 3b70f59667aa > > Launchbury/Down.thy > Launchbury/LaunchburyUnBH.thy > > -- > > PGP available: > http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de > > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
