Fri, 28 Aug 2009 18:11:42 +0200 | nipkow | New option ForceSystem that makes sure we *really* get the system we ask for | changeset | files |
Fri, 28 Aug 2009 19:57:12 +0200 | boehmes | selectable prover for sledgehammer, proper environment lookup | changeset | files |