[isabelle-dev] NEWS
Makarius
makarius at sketis.net
Thu Dec 20 13:32:26 CET 2007
Previous message (by thread):
[isabelle-dev] NEWS
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
* Metis prover is now an order of magnitude faster, and also works with multithreading.
Previous message (by thread):
[isabelle-dev] NEWS
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list