Sat, 19 Mar 1994 03:01:25 +0100 | lcp | First draft of Springer book | changeset | files |
Thu, 17 Mar 1994 17:48:37 +0100 | lcp | new type declaration syntax instead of numbers | changeset | files |
Thu, 17 Mar 1994 13:54:50 +0100 | lcp | FOL/simpdata: tidied | changeset | files |