src/HOL/ROOT
changeset 60921 487050067be9
parent 60809 457abb82fb9e
child 61140 78ece168f5b5
     1.1 --- a/src/HOL/ROOT	Wed Aug 12 20:46:33 2015 +0200
     1.2 +++ b/src/HOL/ROOT	Wed Aug 12 20:46:33 2015 +0200
     1.3 @@ -781,6 +781,7 @@
     1.4      "Derivation_Trees/Gram_Lang"
     1.5      "Derivation_Trees/Parallel"
     1.6      Koenig
     1.7 +    Lift_BNF
     1.8      Stream_Processor
     1.9      Misc_Codatatype
    1.10      Misc_Datatype