[isabelle-dev] Broken / dead theories in AFP

[Gerwin Klein]

Thanks for spotting that, I will have a look at these.

Cheers,
Gerwin

On 12 Dec 2013, at 11:36 pm, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> 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
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 273 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20131212/2c0ef60d/attachment.sig>