| Thu, 01 Jul 1999 21:27:46 +0200 | wenzelm | added with_facts(_i); | changeset | files |
| Thu, 01 Jul 1999 21:27:04 +0200 | wenzelm | 'with' as == 'from' as facts; | changeset | files |
| Thu, 01 Jul 1999 21:25:58 +0200 | wenzelm | also, finally: opt_rules; | changeset | files |
| Thu, 01 Jul 1999 21:20:57 +0200 | wenzelm | have_thmss: more_ths; | changeset | files |
| Thu, 01 Jul 1999 21:20:27 +0200 | wenzelm | have_thmss: more_ths; | changeset | files |
| Thu, 01 Jul 1999 21:19:45 +0200 | wenzelm | renamed with/APP to of/OF; | changeset | files |
| Thu, 01 Jul 1999 17:42:27 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 01 Jul 1999 17:41:16 +0200 | wenzelm | fixed backtracking of global_qed; | changeset | files |
| Thu, 01 Jul 1999 17:40:48 +0200 | wenzelm | added check_result; | changeset | files |
| Thu, 01 Jul 1999 17:38:44 +0200 | wenzelm | setmp Display.show_hyps false; | changeset | files |
| Thu, 01 Jul 1999 17:24:29 +0200 | wenzelm | fix, assume, presume: prf_asm; | changeset | files |
| Thu, 01 Jul 1999 17:24:14 +0200 | wenzelm | added prf_asm; | changeset | files |
| Thu, 01 Jul 1999 10:36:38 +0200 | paulson | expandshort | changeset | files |
| Thu, 01 Jul 1999 10:35:35 +0200 | paulson | many new theorems concerning multiplication and (in)equations | changeset | files |
| Thu, 01 Jul 1999 10:33:50 +0200 | paulson | now div and mod are overloaded; dvd is polymorphic | changeset | files |