added HOL/Library/List_Prefix;
authorwenzelm
Wed Oct 25 18:36:01 2000 +0200 (2000-10-25)
changeset 10337fca9cd9fd115
parent 10336 209f502b55f7
child 10338 291ce4c4b50e
added HOL/Library/List_Prefix;
NEWS
     1.1 --- a/NEWS	Wed Oct 25 18:35:01 2000 +0200
     1.2 +++ b/NEWS	Wed Oct 25 18:36:01 2000 +0200
     1.3 @@ -36,7 +36,7 @@
     1.4  with main HOL; the theory loader path already includes this directory
     1.5  by default; the following existing theories have been moved here:
     1.6  HOL/Induct/Multiset, HOL/Induct/Acc (as Accessible_Part), HOL/While
     1.7 -(as While_Combinator);
     1.8 +(as While_Combinator), HOL/Lex/Prefix (as List_Prefix);
     1.9  
    1.10  
    1.11  New in Isabelle99-1 (October 2000)