| Wed, 06 Nov 1996 12:49:31 +0100 | wenzelm | tuned fix_shyps a little bit more; | changeset | files |
| Tue, 05 Nov 1996 18:35:40 +0100 | nipkow | New version of paper. | changeset | files |
| Tue, 05 Nov 1996 11:48:09 +0100 | paulson | Replaced the very slow "find" command by "rm" with wildcards | changeset | files |
| 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 |