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 11658 4200394242c5
parent 11511 ec89f5cff390
child 11759 56c80e542e44 
--- a/src/Pure/IsaMakefile	Wed Oct 03 20:58:27 2001 +0200
+++ b/src/Pure/IsaMakefile	Wed Oct 03 21:01:53 2001 +0200
@@ -30,7 +30,7 @@
   General/symbol.ML General/table.ML General/url.ML Interface/ROOT.ML	\
   Interface/isamode.ML Interface/proof_general.ML Isar/ROOT.ML Isar/antiquote.ML \
   Isar/args.ML Isar/attrib.ML Isar/auto_bind.ML Isar/calculation.ML	\
-  Isar/comment.ML Isar/isar.ML Isar/isar_cmd.ML Isar/isar_output.ML     \
+  Isar/comment.ML Isar/induct_attrib.ML Isar/isar.ML Isar/isar_cmd.ML Isar/isar_output.ML     \
   Isar/isar_syn.ML Isar/isar_thy.ML Isar/local_defs.ML Isar/method.ML   \
   Isar/net_rules.ML Isar/obtain.ML Isar/outer_lex.ML Isar/outer_parse.ML \
   Isar/outer_syntax.ML Isar/proof.ML Isar/proof_context.ML		\
isabelle