[isabelle-dev] smt in the repository

Lawrence Paulson lp15 at cam.ac.uk
Tue May 26 17:09:03 CEST 2020

Previous message (by thread): [isabelle-dev] LRZ cloud outage
Next message (by thread): [isabelle-dev] smt in the repository
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

What is our policy on use of the smt method at the moment? Prohibited, frowned upon, okay? Getting rid of it can take a lot of work.

Larry

Previous message (by thread): [isabelle-dev] LRZ cloud outage
Next message (by thread): [isabelle-dev] smt in the repository
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list