Fri, 23 Jan 1998 13:47:37 +0100 | paulson | Updated MOD reference | changeset | files |
Wed, 21 Jan 1998 15:50:25 +0100 | wenzelm | added symbols syntax; | changeset | files |
Tue, 20 Jan 1998 18:26:26 +0100 | wenzelm | reorganized into individual theories; | changeset | files |