> Maybe it is best if I will move on »ZF_Logics« etc. in yet another
> iteration to get rid of these historic names.  At least that made the
> confusion apparent.

See now http://isabelle.in.tum.de/reports/Isabelle/rev/856492b0f755

        Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature

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

Reply via email to