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.
consistent interacitve bootstrap of HOL-Main
authorhaftmann
Fri, 25 Jan 2008 14:53:58 +0100
changeset 25964 080f89d89990
parent 25963 07e08dad8a77
child 25965 05df64f786a4
consistent interacitve bootstrap of HOL-Main
src/HOL/Main.thy file | annotate | diff | comparison | revisions
src/HOL/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Main.thy	Fri Jan 25 14:53:56 2008 +0100
+++ b/src/HOL/Main.thy	Fri Jan 25 14:53:58 2008 +0100
@@ -15,4 +15,6 @@
 
 ML {* val HOL_proofs = ! Proofterm.proofs *}
 
+ML {* path_add "~~/src/HOL/Library" *}
+
 end
--- a/src/HOL/ROOT.ML	Fri Jan 25 14:53:56 2008 +0100
+++ b/src/HOL/ROOT.ML	Fri Jan 25 14:53:58 2008 +0100
@@ -5,5 +5,3 @@
 *)
 
 use_thy "Main";
-
-path_add "~~/src/HOL/Library";
isabelle