# HG changeset patch
# User traytel
# Date 1392804667 -3600
# Node ID d12a13713cb44da4efc09928deeab4ce000c8185
# Parent  207538943038b82a1a0cf3dbe85994dd4e0f8a60
reflect 207538943038 in NEWS

diff -r 207538943038 -r d12a13713cb4 NEWS
--- a/NEWS	Wed Feb 19 10:30:21 2014 +0100
+++ b/NEWS	Wed Feb 19 11:11:07 2014 +0100
@@ -114,7 +114,6 @@
     BNF/Countable_Type.thy ~> Library/Countable_Set_Type.thy
     BNF/Examples/* ~> BNF_Examples/*
   New theories:
-    List_Prefix.thy (split from Library/Sublist.thy)
     Wellorder_Extension.thy (split from Zorn.thy)
     Library/Cardinal_Notations.thy
     Library/BNF_Decl.thy