src/HOL/ROOT
changeset 60450 b54b913dfa6a
parent 60332 7676bcaa1f95
child 60470 d0f8ff38e389
     1.1 --- a/src/HOL/ROOT	Sat Jun 13 13:09:05 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Sat Jun 13 13:18:37 2015 +0200
     1.3 @@ -623,6 +623,7 @@
     1.4      Peirce
     1.5      Puzzle
     1.6      Summation
     1.7 +    Structured_Statements
     1.8    document_files
     1.9      "root.bib"
    1.10      "root.tex"