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.
Added file Thy/thm_deps.ML
authorberghofe
Thu, 07 Oct 1999 12:51:37 +0200
changeset 7779 c80fc06972df
parent 7778 4caa07322d8f
child 7780 099742c562aa
Added file Thy/thm_deps.ML
src/Pure/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/Pure/IsaMakefile	Thu Oct 07 12:50:34 1999 +0200
+++ b/src/Pure/IsaMakefile	Thu Oct 07 12:51:37 1999 +0200
@@ -40,7 +40,7 @@
   Syntax/ast.ML Syntax/lexicon.ML Syntax/mixfix.ML Syntax/parser.ML \
   Syntax/printer.ML Syntax/syn_ext.ML Syntax/syn_trans.ML \
   Syntax/syntax.ML Syntax/token_trans.ML Syntax/type_ext.ML \
-  Thy/ROOT.ML Thy/html.ML Thy/latex.ML Thy/present.ML \
+  Thy/ROOT.ML Thy/html.ML Thy/latex.ML Thy/present.ML Thy/thm_deps.ML \
   Thy/thm_database.ML Thy/thy_info.ML Thy/thy_load.ML Thy/thy_parse.ML \
   Thy/thy_scan.ML Thy/thy_syn.ML axclass.ML basis.ML context.ML \
   deriv.ML display.ML drule.ML envir.ML goals.ML install_pp.ML \
isabelle