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.
Isar version of ZF/AC
authorpaulson
Wed, 16 Jan 2002 17:53:22 +0100
changeset 12777 70b2651af635
parent 12776 249600a63ba9
child 12778 3120e338ffae
Isar version of ZF/AC
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Jan 16 17:52:06 2002 +0100
+++ b/NEWS	Wed Jan 16 17:53:22 2002 +0100
@@ -291,7 +291,7 @@
 * ZF/UNITY: Chandy and Misra's UNITY is now available in ZF, giving a
 typeless version of the formalism;
 
-* ZF/IMP: updated and converted to new-style theory format;
+* ZF/AC, Coind, IMP, Resid: updated and converted to new-style theory format;
 
 * ZF/Induct: new directory for examples of inductive definitions,
 including theory Multiset for multiset orderings; converted to
isabelle