[isabelle-dev] NEWS

Sascha Boehme boehmes at in.tum.de
Fri Aug 21 13:41:50 CEST 2009

* New testing tool "Mirabelle" for automated (proof) tools. Applies several
tools and tactics like sledgehammer, metis, or quickcheck, to every proof step
in a theory. To be used in batch mode via "isabelle mirabelle".

More information about the isabelle-dev mailing list