| 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 |