| Tue, 07 Mar 1995 13:27:09 +0100 | lcp | Deleted constQU, exvarQU, expQU by including Const, | changeset | files |
| Tue, 07 Mar 1995 13:21:38 +0100 | lcp | Replaced rules by defs | changeset | files |
| Tue, 07 Mar 1995 13:18:48 +0100 | lcp | Moved declarations of @QSUM and <*> to a syntax section. | changeset | files |
| Tue, 07 Mar 1995 13:15:25 +0100 | lcp | Moved declaration of ~= to a syntax section | changeset | files |
| Fri, 03 Mar 1995 12:48:06 +0100 | clasohm | replaced Pure by ProtoPure | changeset | files |
| Fri, 03 Mar 1995 12:34:57 +0100 | clasohm | fixed a bug in infer_types/exn_type_msg | changeset | files |
| Fri, 03 Mar 1995 12:04:45 +0100 | clasohm | new version of HOL/Integ with curried function application | changeset | files |
| Fri, 03 Mar 1995 12:04:16 +0100 | clasohm | new version of HOL/IMP with curried function application | changeset | files |