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/HOL/ROOT
changeset 60470 d0f8ff38e389
parent 60450 b54b913dfa6a
child 60603 09ecbd791d4a 
--- a/src/HOL/ROOT	Sun Jun 14 15:53:13 2015 +0200
+++ b/src/HOL/ROOT	Sun Jun 14 16:18:00 2015 +0200
@@ -623,6 +623,7 @@
     Peirce
     Puzzle
     Summation
+  theories [quick_and_dirty]
     Structured_Statements
   document_files
     "root.bib"
isabelle