[isabelle-dev] Status of HOL/Library/Old_SMT.thy

Jasmin Blanchette jasmin.blanchette at inria.fr
Fri Sep 2 10:32:31 CEST 2016

> On 01.09.2016, at 22:04, Makarius <makarius at 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.


More information about the isabelle-dev mailing list