| Thu, 12 Oct 2006 22:57:29 +0200 | wenzelm | print_evaluated_term: Toplevel.context_of; | changeset | files |
| Thu, 12 Oct 2006 22:57:24 +0200 | wenzelm | replaced attributes_update by map_attributes; | changeset | files |
| Thu, 12 Oct 2006 22:57:20 +0200 | wenzelm | Toplevel.local_theory_to_proof: proper target; | changeset | files |
| Thu, 12 Oct 2006 22:57:15 +0200 | wenzelm | Toplevel.local_theory: proper target; | changeset | files |
| Thu, 12 Oct 2006 22:03:33 +0200 | urbanc | To be consistent with "induct", I renamed "fixing" to "arbitrary". | changeset | files |
| Thu, 12 Oct 2006 15:50:43 +0200 | paulson | Extended combinators now disabled | changeset | files |