[isabelle-dev] Orphaned theory in AFP

[Joachim Breitner]

Hi,

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.

Greetings,
Joachim

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner
-------------- 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>