Fri, 11 Nov 1994 10:31:51 +0100 | lcp | argument swaps in HOL | changeset | files |
Thu, 10 Nov 1994 11:36:40 +0100 | lcp | HOL,ZF/Makefile: enclosed multiple "use" calls in parentheses. This | changeset | files |
Thu, 10 Nov 1994 11:06:44 +0100 | lcp | updated pathnames | changeset | files |