[isabelle-dev] Status of HOL/SMT

Jasmin Blanchette jasmin.blanchette at gmail.com
Tue Dec 4 18:18:50 CET 2012

Previous message (by thread): [isabelle-dev] Status of HOL/SMT
Next message (by thread): [isabelle-dev] Status of HOL/SMT
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Am 04.12.2012 um 18:11 schrieb Johannes Hölzl:

> I remove the SMT certificates in HOL-Multivariate_Analysis in Isabelle/4b4fe0d5ee22.

Thanks! I didn't mean to apply pressure on you, though. ;)

Jasmin

Previous message (by thread): [isabelle-dev] Status of HOL/SMT
Next message (by thread): [isabelle-dev] Status of HOL/SMT
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list