# HG changeset patch
# User traytel
# Date 1439405193 -7200
# Node ID 487050067be9eb7e6443fd50d26aad4380ad15a5
# Parent  97c20589a0db08c6a846af16286241203d32ea07
actually process lift_bnf regression suite

diff -r 97c20589a0db -r 487050067be9 src/HOL/ROOT
--- a/src/HOL/ROOT	Wed Aug 12 20:46:33 2015 +0200
+++ b/src/HOL/ROOT	Wed Aug 12 20:46:33 2015 +0200
@@ -781,6 +781,7 @@
     "Derivation_Trees/Gram_Lang"
     "Derivation_Trees/Parallel"
     Koenig
+    Lift_BNF
     Stream_Processor
     Misc_Codatatype
     Misc_Datatype