| Fri, 17 Jan 1997 11:13:18 +0100 | paulson | Added the prlim command | changeset | files |
| Fri, 17 Jan 1997 11:09:19 +0100 | paulson | New miniscoping rules for the bounded quantifiers and UN/INT operators | changeset | files |
| 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 |