| Fri, 26 May 2000 18:04:17 +0200 | paulson | named the primrec clauses of upt | changeset | files |
| Fri, 26 May 2000 18:03:54 +0200 | paulson | renamed upt_Suc, since that name is needed for its primrec rule | changeset | files |
| Fri, 26 May 2000 18:03:25 +0200 | paulson | new setsum results | changeset | files |
| Fri, 26 May 2000 17:29:07 +0200 | wenzelm | tuned case_tac; | changeset | files |
| Fri, 26 May 2000 11:18:06 +0200 | paulson | updated acknowledgements | changeset | files |
| Fri, 26 May 2000 11:17:53 +0200 | paulson | fixed the documentation of goalw_cterm and prove_goalw_cterm | changeset | files |
| Thu, 25 May 2000 15:22:19 +0200 | paulson | res_inst_tac, etc., no longer print the "dest_state" message when the selected | changeset | files |
| Thu, 25 May 2000 15:20:44 +0200 | paulson | setsum replaces sum_below | changeset | files |