Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
reflect 207538943038 in NEWS
authortraytel
Wed, 19 Feb 2014 11:11:07 +0100
changeset 55580 d12a13713cb4
parent 55579 207538943038
child 55581 d1c228753d76
reflect 207538943038 in NEWS
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle