> On 01.09.2016, at 22:04, Makarius <makar...@sketis.net> wrote: > > What is the status of HOL/Library/Old_SMT.thy?
It might be worthwhile to ask on isabelle-users@ to be sure. I seem to remember that Filip Maric (cc:d) showed some interest in it at some point. Jasmin _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
