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.
nbe -> NormalForm
authornipkow
Fri, 09 Jun 2006 16:25:05 +0200
changeset 19832 1a09f25410da
parent 19831 c00e04f8a52a
child 19833 3a3f591c838d
nbe -> NormalForm
src/HOL/ex/ROOT.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/ex/ROOT.ML	Fri Jun 09 14:20:09 2006 +0200
+++ b/src/HOL/ex/ROOT.ML	Fri Jun 09 16:25:05 2006 +0200
@@ -60,7 +60,7 @@
 
 time_use_thy "Refute_Examples";
 time_use_thy "Quickcheck_Examples";
-no_document time_use_thy "nbe";
+no_document time_use_thy "NormalForm";
 
 no_document use_thy "Word";
 time_use_thy "Adder";
isabelle