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 |
Mon, 26 May 1997 12:39:57 +0200 | paulson | Renamed lessD to Suc_leI | changeset | files |