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 [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
