Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ThmDatabase;
authorwenzelm
Wed, 06 Aug 1997 14:10:22 +0200
changeset 3625 33f718b4f7bf
parent 3624 36e19fce289e
child 3626 d91708377b6a
ThmDatabase;
src/Pure/Thy/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Thy/ROOT.ML	Wed Aug 06 14:09:50 1997 +0200
+++ b/src/Pure/Thy/ROOT.ML	Wed Aug 06 14:10:22 1997 +0200
@@ -17,7 +17,7 @@
 use "symbol_input.ML";
 use "thy_read.ML";
 
-open ThmDB ThyRead ThyInfo BrowserInfo SymbolInput;
+open ThmDatabase ThyRead ThyInfo BrowserInfo SymbolInput;
 
 
 (* FIXME tmp *)
isabelle