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.
add_path;
authorwenzelm
Fri, 05 Feb 1999 21:12:45 +0100
changeset 6251 4d89d4f0ab17
parent 6250 354848db4052
child 6252 935f183bf406
add_path;
src/HOL/Real/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Real/ROOT.ML	Fri Feb 05 21:12:18 1999 +0100
+++ b/src/HOL/Real/ROOT.ML	Fri Feb 05 21:12:45 1999 +0100
@@ -16,4 +16,5 @@
 time_use_thy "RealAbs";
 time_use_thy "RComplete";
 
-use_dir "Hyperreal";
+add_path "Hyperreal";
+use_thy "Filter";
isabelle