| Thu, 22 Apr 2010 14:47:52 +0200 | blanchet | if Isar proof reconstruction is not supported, tell the user so they don't wonder why their "isar_proof" option did nothing | file | diff | annotate |
| Fri, 28 Aug 2009 18:11:42 +0200 | nipkow | New option ForceSystem that makes sure we *really* get the system we ask for | file | diff | annotate |
| Tue, 04 Aug 2009 19:20:24 +0200 | wenzelm | src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place; | file | diff | annotate | base |