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.
tuned heading
authorhaftmann
Thu, 19 Apr 2012 09:31:36 +0200
changeset 47572 1e18bbfb40cb
parent 47571 1d9faa9f65f9
child 47573 6244475356ba
tuned heading
src/Tools/nbe.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/nbe.ML	Wed Apr 18 21:47:26 2012 +0200
+++ b/src/Tools/nbe.ML	Thu Apr 19 09:31:36 2012 +0200
@@ -579,7 +579,7 @@
   in (nbe_program, idx_tab) end;
 
 
-(* dynamic evaluation oracle *)
+(* evaluation oracle *)
 
 fun mk_equals thy lhs raw_rhs =
   let
isabelle