--- a/src/HOL/BNF/More_BNFs.thy Tue Oct 16 17:08:20 2012 +0200 +++ b/src/HOL/BNF/More_BNFs.thy Tue Oct 16 17:33:08 2012 +0200 @@ -1581,6 +1581,4 @@ qed - - end