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.
added HOL/Library/List_Prefix;
authorwenzelm
Wed, 25 Oct 2000 18:36:01 +0200
changeset 10337 fca9cd9fd115
parent 10336 209f502b55f7
child 10338 291ce4c4b50e
added HOL/Library/List_Prefix;
NEWS file | annotate | diff | comparison | revisions 
--- 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)
isabelle