# HG changeset patch
# User wenzelm
# Date 972491761 -7200
# Node ID fca9cd9fd115efdc93e4dccdf52c5ca55881f4a8
# Parent  209f502b55f79a7758a76fbf56dd32459bbefd78
added HOL/Library/List_Prefix;

diff -r 209f502b55f7 -r fca9cd9fd115 NEWS
--- a/NEWS	Wed Oct 25 18:35:01 2000 +0200
+++ b/NEWS	Wed Oct 25 18:36:01 2000 +0200
@@ -36,7 +36,7 @@
 with main HOL; the theory loader path already includes this directory
 by default; the following existing theories have been moved here:
 HOL/Induct/Multiset, HOL/Induct/Acc (as Accessible_Part), HOL/While
-(as While_Combinator);
+(as While_Combinator), HOL/Lex/Prefix (as List_Prefix);
 
 
 New in Isabelle99-1 (October 2000)