Thu, 12 Oct 2006 22:57:32 +0200 | wenzelm | renamed print_lthms to print_facts, do not insist on proof state; | changeset | files |
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 |