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