nbe -> NormalForm
authornipkow
Fri Jun 09 16:25:05 2006 +0200 (2006-06-09)
changeset 198321a09f25410da
parent 19831 c00e04f8a52a
child 19833 3a3f591c838d
nbe -> NormalForm
src/HOL/ex/ROOT.ML
     1.1 --- a/src/HOL/ex/ROOT.ML	Fri Jun 09 14:20:09 2006 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri Jun 09 16:25:05 2006 +0200
     1.3 @@ -60,7 +60,7 @@
     1.4  
     1.5  time_use_thy "Refute_Examples";
     1.6  time_use_thy "Quickcheck_Examples";
     1.7 -no_document time_use_thy "nbe";
     1.8 +no_document time_use_thy "NormalForm";
     1.9  
    1.10  no_document use_thy "Word";
    1.11  time_use_thy "Adder";