| Wed, 13 Jul 2005 16:07:37 +0200 | wenzelm | added print_state_hook; | changeset | files |
| Wed, 13 Jul 2005 16:07:36 +0200 | wenzelm | export previous; | changeset | files |
| Wed, 13 Jul 2005 16:07:35 +0200 | wenzelm | removed ad-hoc atp_hook, cal_atp; | changeset | files |
| Wed, 13 Jul 2005 16:07:34 +0200 | wenzelm | Toplevel.actual_proof; | changeset | files |
| Wed, 13 Jul 2005 16:07:33 +0200 | wenzelm | avoid excessive exceptions; | changeset | files |
| Wed, 13 Jul 2005 16:07:32 +0200 | wenzelm | Graph: fast_string_ord; | changeset | files |
| Wed, 13 Jul 2005 16:07:30 +0200 | wenzelm | export eq_brl; | changeset | files |