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 inclusion of new wellsorting algorithm for code equations
authorhaftmann
Fri, 20 Feb 2009 10:14:31 +0100
changeset 30006 f54b48cda286
parent 30001 dd27e16677b2
child 30007 74d83bd18977
experimental inclusion of new wellsorting algorithm for code equations
src/HOL/HOL.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/HOL.thy	Thu Feb 19 23:18:28 2009 -0800
+++ b/src/HOL/HOL.thy	Fri Feb 20 10:14:31 2009 +0100
@@ -28,7 +28,7 @@
   ("~~/src/Tools/induct_tacs.ML")
   "~~/src/Tools/value.ML"
   "~~/src/Tools/code/code_name.ML"
-  "~~/src/Tools/code/code_funcgr.ML"
+  "~~/src/Tools/code/code_wellsorted.ML"
   "~~/src/Tools/code/code_thingol.ML"
   "~~/src/Tools/code/code_printer.ML"
   "~~/src/Tools/code/code_target.ML"
isabelle