Fri, 28 Aug 2009 19:35:49 +0200 | nipkow | tuned proofs | changeset | files |
Fri, 28 Aug 2009 19:15:59 +0200 | nipkow | tuned proofs | changeset | files |
Fri, 28 Aug 2009 18:52:41 +0200 | nipkow | Turned "x <= y ==> sup x y = y" (and relatives) into simp rules | changeset | files |
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 |