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 |
Fri, 03 Mar 1995 12:02:25 +0100 | clasohm | new version of HOL with curried function application | changeset | files |
Fri, 03 Mar 1995 11:48:05 +0100 | clasohm | added CPure (curried functions) and ProtoPure (ancestor of Pure and CPure) | changeset | files |
Thu, 02 Mar 1995 12:07:20 +0100 | wenzelm | added declaration of syntactic const "_abs"; | changeset | files |
Tue, 28 Feb 1995 10:54:49 +0100 | lcp | Added initial /bin/csh line and comments | changeset | files |
Tue, 28 Feb 1995 10:53:56 +0100 | lcp | No longer calls maketest; instead, the Makefile writes the file | changeset | files |