| Fri, 17 Jan 1997 10:09:46 +0100 | nipkow | Got rid of Alls in List. | changeset | files |
| Fri, 17 Jan 1997 10:04:28 +0100 | nipkow | Got rid of Alls in favour of !x:set_of_list | changeset | files |
| Thu, 16 Jan 1997 16:53:15 +0100 | wenzelm | binary oprations and relations; | changeset | files |
| Thu, 16 Jan 1997 14:53:37 +0100 | wenzelm | added termless parameter; | changeset | files |
| Thu, 16 Jan 1997 13:44:47 +0100 | wenzelm | added term order; | changeset | files |
| Mon, 13 Jan 1997 18:24:40 +0100 | wenzelm | improved error msg; | changeset | files |
| Mon, 13 Jan 1997 18:20:35 +0100 | wenzelm | added datatype order; | changeset | files |