| 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 |
| Fri, 28 Aug 2009 21:15:22 +0200 | wenzelm | discontinued Display.pretty_ctyp/cterm etc.; | changeset | files |
| Fri, 28 Aug 2009 21:04:03 +0200 | wenzelm | modernized messages -- eliminated ctyp/cterm operations; | changeset | files |