reflect 207538943038 in NEWS
authortraytel
Wed Feb 19 11:11:07 2014 +0100 (2014-02-19)
changeset 55580d12a13713cb4
parent 55579 207538943038
child 55581 d1c228753d76
reflect 207538943038 in NEWS
NEWS
     1.1 --- a/NEWS	Wed Feb 19 10:30:21 2014 +0100
     1.2 +++ b/NEWS	Wed Feb 19 11:11:07 2014 +0100
     1.3 @@ -114,7 +114,6 @@
     1.4      BNF/Countable_Type.thy ~> Library/Countable_Set_Type.thy
     1.5      BNF/Examples/* ~> BNF_Examples/*
     1.6    New theories:
     1.7 -    List_Prefix.thy (split from Library/Sublist.thy)
     1.8      Wellorder_Extension.thy (split from Zorn.thy)
     1.9      Library/Cardinal_Notations.thy
    1.10      Library/BNF_Decl.thy