src/HOL/ROOT
changeset 62696 7325d8573fb8
parent 62694 f50d7efc8fe3
child 62706 49c6a54ceab6
     1.1 --- a/src/HOL/ROOT	Tue Mar 22 12:39:37 2016 +0100
     1.2 +++ b/src/HOL/ROOT	Tue Mar 22 12:39:37 2016 +0100
     1.3 @@ -815,6 +815,15 @@
     1.4    theories
     1.5      LFilter
     1.6      Stream_Processor
     1.7 +    "Tests/Simple_Nesting"
     1.8 +  theories [quick_and_dirty]
     1.9 +    "Tests/GPV_Bare_Bones"
    1.10 +    "Tests/Merge_D"
    1.11 +    "Tests/Merge_Poly"
    1.12 +    "Tests/Misc_Mono"
    1.13 +    "Tests/Misc_Poly"
    1.14 +    "Tests/Small_Concrete"
    1.15 +    "Tests/TLList_Friends"
    1.16  
    1.17  session "HOL-Word" (main) in Word = HOL +
    1.18    theories Word