author | wenzelm |
Fri, 21 Nov 1997 15:35:37 +0100 | |
changeset 4273 | c9b577c8f7a1 |
parent 4272 | 61c6ae12ca14 |
child 4274 | 2048e7a79d09 |
--- a/src/Pure/Thy/README Fri Nov 21 15:34:15 1997 +0100 +++ b/src/Pure/Thy/README Fri Nov 21 15:35:37 1997 +0100 @@ -4,6 +4,9 @@ Copyright 1994 TU Muenchen +FIXME FIXME FIXME FIXME FIXME Warning: not quite up-to-date! + + Conventions for theory- and filenames: - Files for theory T are named T.thy and T.ML where only one of these two