NEWS
changeset 55580 d12a13713cb4
parent 55547 384bfd19ee61
child 55585 014138b356c4
     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