| Thu, 11 Nov 1993 13:18:49 +0100 | lcp | Various updates for Isabelle-93 | changeset | files |
| Thu, 11 Nov 1993 12:44:43 +0100 | lcp | new style file | changeset | files |
| Thu, 11 Nov 1993 10:55:59 +0100 | clasohm | adapted "Defining theories" to new use_thy | changeset | files |
| Thu, 11 Nov 1993 10:43:37 +0100 | wenzelm | replaced by current version; | changeset | files |
| Thu, 11 Nov 1993 10:05:17 +0100 | wenzelm | replaced by current version; | changeset | files |
| Thu, 11 Nov 1993 10:00:43 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Wed, 10 Nov 1993 05:06:55 +0100 | lcp | Initial revision | changeset | files |