[isabelle-dev] Orphaned theory in AFP

Joachim Breitner breitner at kit.edu
Sun Oct 27 22:01:32 CET 2013


Am Freitag, den 25.10.2013, 21:32 +0200 schrieb Florian Haftmann:
> (69ff07418cc2) Free-Groups/NielsenSchreier.thy

that must be an artefact of my failure to use mercurial correctly. I
have that file in a local feature branch and must have merged it wrongly
at some time. Feel free to remove it.


Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20131027/f7009da8/attachment.sig>

More information about the isabelle-dev mailing list