| Tue, 18 Oct 2005 17:59:33 +0200 | wenzelm | use simplified Toplevel.proof etc.; | changeset | files |
| Tue, 18 Oct 2005 17:59:32 +0200 | wenzelm | back: Toplevel.actual/skip_proof; | changeset | files |
| Tue, 18 Oct 2005 17:59:31 +0200 | wenzelm | renamed set_context to context; | changeset | files |
| Tue, 18 Oct 2005 17:59:30 +0200 | wenzelm | renamed set_context to context; | changeset | files |
| Tue, 18 Oct 2005 17:59:29 +0200 | wenzelm | functor: no Simplifier argument; | changeset | files |
| Tue, 18 Oct 2005 17:59:28 +0200 | wenzelm | moved helper lemma to HilbertChoice.thy; | changeset | files |
| Tue, 18 Oct 2005 17:59:27 +0200 | wenzelm | Simplifier.theory_context; | changeset | files |