| Tue, 05 Nov 1996 11:20:52 +0100 | paulson | Simplified new_keys_not_seen, etc.: replaced the | changeset | files |
| Mon, 04 Nov 1996 17:23:37 +0100 | nipkow | Used nat_trans_tac. New Eta. various smaller changes. | changeset | files |
| Mon, 04 Nov 1996 10:56:15 +0100 | paulson | Renamed SELECT_GOAL's new parameter from x to selct to avoid clashes | changeset | files |
| Mon, 04 Nov 1996 10:54:26 +0100 | paulson | Removal of now unused sum, max, min. Use foldl op+, Int.max, Int.min | changeset | files |
| Fri, 01 Nov 1996 18:34:34 +0100 | paulson | Minor changes to comments | changeset | files |
| Fri, 01 Nov 1996 18:28:19 +0100 | paulson | New version with simpler disambiguation in YM3, | changeset | files |