NEWS
changeset 10337 fca9cd9fd115
parent 10322 df38c61bf541
child 10391 0025fd11882c
     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)