# HG changeset patch
# User wenzelm
# Date 970841910 -7200
# Node ID c240747082aa9482359d9d4ea0bedb5a6f0e611f
# Parent  d1972b445ecef623edf580660e2c0b19676b2c5d
* HOL/IMPP: extension of IMP with local variables and mutually
recursive procedures, by David von Oheimb;

diff -r d1972b445ece -r c240747082aa NEWS
--- a/NEWS	Fri Oct 06 16:14:03 2000 +0200
+++ b/NEWS	Fri Oct 06 16:18:30 2000 +0200
@@ -257,6 +257,9 @@
 * HOL/Prolog: a (bare-bones) implementation of Lambda-Prolog, by David
 von Oheimb;
 
+* HOL/IMPP: extension of IMP with local variables and mutually
+recursive procedures, by David von Oheimb;
+
 * HOL/Lambda: converted into new-style theory and document;
 
 * HOL/ex/Multiquote: example of multiple nested quotations and