| author | wenzelm |
| Mon, 09 Mar 1998 16:07:22 +0100 | |
| changeset 4690 | 8459cf322011 |
| parent 4689 | 49d116fdcafa |
| child 4691 | b159f5d98ceb |
| src/Pure/ROOT.ML | file | annotate | diff | comparison | revisions |
--- a/src/Pure/ROOT.ML Mon Mar 09 16:07:03 1998 +0100 +++ b/src/Pure/ROOT.ML Mon Mar 09 16:07:22 1998 +0100 @@ -4,7 +4,7 @@ Copyright 1993 University of Cambridge Root file for Pure Isabelle: all modules in proper order for loading. -Loads Pure Isabelle into an empty ML database (see also IsaMakefile). +Loads Pure Isabelle into an empty ML database (see also README). *) val banner = "Pure Isabelle";