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.
experimental switch to new well-sorting algorithm
authorhaftmann
Sun, 22 Feb 2009 22:32:50 +0100
changeset 30063 e7723cb4b2a6
parent 30062 ace8a0847002
child 30064 3cd19b113854
experimental switch to new well-sorting algorithm
src/HOL/HOL.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/HOL.thy	Sun Feb 22 18:16:32 2009 +0100
+++ b/src/HOL/HOL.thy	Sun Feb 22 22:32:50 2009 +0100
@@ -29,7 +29,7 @@
   "~~/src/Tools/value.ML"
   "~~/src/Tools/code/code_name.ML"
   "~~/src/Tools/code/code_wellsorted.ML" (* formal dependency *)
-  "~~/src/Tools/code/code_funcgr.ML"
+  (*"~~/src/Tools/code/code_funcgr.ML"*)
   "~~/src/Tools/code/code_thingol.ML"
   "~~/src/Tools/code/code_printer.ML"
   "~~/src/Tools/code/code_target.ML"
isabelle