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
signature.asc
Description: This is a digitally signed message part
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev