solved in afp id 03689082b646 Am Dienstag, den 05.11.2013, 19:09 +0100 schrieb Florian Haftmann: > isabelle id 9d623cada37f > afp id 68e8895167cc
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
