[isabelle-dev] AFP works

[Makarius]

Just for the historical record: in Isabelle/caf2637a28a9 all of 
AFP/a44a0c9e17ef works.

        Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev