src/HOL/ROOT
changeset 60470 d0f8ff38e389
parent 60450 b54b913dfa6a
child 60603 09ecbd791d4a
     1.1 --- a/src/HOL/ROOT	Sun Jun 14 15:53:13 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Sun Jun 14 16:18:00 2015 +0200
     1.3 @@ -623,6 +623,7 @@
     1.4      Peirce
     1.5      Puzzle
     1.6      Summation
     1.7 +  theories [quick_and_dirty]
     1.8      Structured_Statements
     1.9    document_files
    1.10      "root.bib"