| Wed, 05 Mar 1997 09:59:24 +0100 | paulson | Renamed constant "not" to "Not" | changeset | files |
| Tue, 04 Mar 1997 10:58:29 +0100 | paulson | Renamed constant "not" to "Not" | changeset | files |
| Tue, 04 Mar 1997 10:48:36 +0100 | paulson | Renamed constant "not" to "Not" | changeset | files |
| Tue, 04 Mar 1997 10:42:28 +0100 | paulson | best_tac avoids looping with change to RepFun_eqI in claset | changeset | files |
| Tue, 04 Mar 1997 10:41:33 +0100 | paulson | Now uses RepFun_eqI instead of RepFunI; | changeset | files |
| Tue, 04 Mar 1997 10:21:16 +0100 | paulson | Updated reference to Pelletier erratum | changeset | files |
| Tue, 04 Mar 1997 10:19:38 +0100 | paulson | Removed needless quotes | changeset | files |