Thu, 15 May 1997 12:53:12 +0200 | paulson | TFL theory section | changeset | files |
Thu, 15 May 1997 12:45:42 +0200 | paulson | New theories used by TFL | changeset | files |
Thu, 15 May 1997 12:40:01 +0200 | paulson | New version, modified by Konrad Slind and LCP for TFL | changeset | files |