* Florian Haftmann <florian.haftm...@informatik.tu-muenchen.de> [2014-11-26 19:40 +0100]: > @Timothy: in the progress of investigating I stumbled over your > changeset (c61fe520602b, actually brought in by Gerwin) and dismantled > it. Do you remember what it had been intended for resp. by which > criterion we can decide whether the dismantling is really admissible? > Before going ahead and pushing something, I would like to resolve this > question.
I'm afraid that I cannot recall anything about this changeset. Sorry! As far as I'm concerned, you may proceed as best you see fit. Tim.
signature.asc
Description: Digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
