| Mon, 26 May 1997 12:53:45 +0200 | paulson | Added a missing "result();" after problem 43. | changeset | files |
| Mon, 26 May 1997 12:44:04 +0200 | paulson | Tidying using the new exhaust_tac | changeset | files |
| Mon, 26 May 1997 12:42:38 +0200 | paulson | Now recdef checks the name of the function being defined. | changeset | files |
| Mon, 26 May 1997 12:40:51 +0200 | paulson | Deleted option_case_tac because exhaust_tac performs a similar function. | changeset | files |