[isabelle-dev] NEWS
Tobias Nipkow
nipkow at in.tum.de
Mon Sep 1 10:29:03 CEST 2008
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
* ATP selection (E/Vampire/Spass) is now via PG's settings menu. Tobias
Next message (by thread):
[isabelle-dev] NEWS
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the isabelle-dev mailing list