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.
UNITY
authorpaulson
Fri, 03 Apr 1998 13:32:42 +0200
changeset 4779 62572b45819c
parent 4778 3fbb7021828f
child 4780 f4ff003bc7ee
UNITY
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Fri Apr 03 13:30:49 1998 +0200
+++ b/NEWS	Fri Apr 03 13:32:42 1998 +0200
@@ -23,6 +23,8 @@
 
 *** HOL ***
 
+* New directory HOL/UNITY: Chandy and Misra's UNITY formalism
+
 * split_all_tac now fails if there is nothing to split
   split_all_tac has moved within claset() from usafe wrappers to safe wrappers
isabelle