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/ROOT
changeset 60630 fc7625ec7427
parent 59901 840d03805755
child 60729 f5989a2c1f67 
--- a/src/Pure/ROOT	Thu Jul 02 12:33:04 2015 +0200
+++ b/src/Pure/ROOT	Thu Jul 02 12:39:08 2015 +0200
@@ -145,6 +145,7 @@
     "Isar/runtime.ML"
     "Isar/spec_rules.ML"
     "Isar/specification.ML"
+    "Isar/subgoal.ML"
     "Isar/token.ML"
     "Isar/toplevel.ML"
     "Isar/typedecl.ML"
@@ -253,7 +254,6 @@
     "simplifier.ML"
     "skip_proof.ML"
     "sorts.ML"
-    "subgoal.ML"
     "tactic.ML"
     "tactical.ML"
     "term.ML"
isabelle