Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/IsaMakefile
changeset 24166 7b28dc69bdbb
parent 24159 a02941b15d0a
child 24219 e558fe311376 
--- a/src/Pure/IsaMakefile	Tue Aug 07 09:38:48 2007 +0200
+++ b/src/Pure/IsaMakefile	Tue Aug 07 09:40:34 2007 +0200
@@ -63,7 +63,7 @@
   Tools/codegen_consts.ML Tools/codegen_data.ML Tools/codegen_func.ML		\
   Tools/codegen_funcgr.ML Tools/codegen_names.ML Tools/codegen_package.ML	\
   Tools/codegen_serializer.ML Tools/codegen_thingol.ML Tools/invoke.ML		\
-  Tools/named_thms.ML Tools/nbe.ML Tools/nbe_codegen.ML Tools/nbe_eval.ML	\
+  Tools/named_thms.ML	\
   Tools/xml.ML Tools/xml_syntax.ML assumption.ML axclass.ML codegen.ML		\
   compress.ML config.ML conjunction.ML consts.ML context.ML context_position.ML	\
   conv.ML defs.ML display.ML drule.ML envir.ML fact_index.ML goal.ML library.ML	\
isabelle