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