# HG changeset patch
# User paulson
# Date 891603162 -7200
# Node ID 62572b45819ccc3dd5e870168d510ba93a255b25
# Parent  3fbb7021828fbedb3b3178077e4c4fe61a61d0bc
UNITY

diff -r 3fbb7021828f -r 62572b45819c NEWS
--- 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