Thu, 22 May 1997 10:04:04 +0200 | wenzelm | tuned comments; | changeset | files |
Thu, 22 May 1997 09:39:37 +0200 | nipkow | Replaced res_inst-list_cases by generic exhaust_tac. | changeset | files |
Thu, 22 May 1997 09:20:28 +0200 | nipkow | Added exhaustion thm and exhaust_tac for each datatype. | changeset | files |
Wed, 21 May 1997 17:31:12 +0200 | wenzelm | fixed find cmd; | changeset | files |
Wed, 21 May 1997 17:21:46 +0200 | wenzelm | set version; | changeset | files |
Wed, 21 May 1997 17:13:00 +0200 | wenzelm | tuned all READMEs; | changeset | files |