# HG changeset patch
# User lcp
# Date 755804583 -3600
# Node ID 340d21c86440cf9cb3a7158955daf72ae069f3a1
# Parent  2c7fedb2713cded5bbf07dac39ee3e96ba812b8a
added mention of Subst

diff -r 2c7fedb2713c -r 340d21c86440 README
--- a/README	Fri Dec 03 12:41:54 1993 +0100
+++ b/README	Mon Dec 13 18:43:03 1993 +0100
@@ -11,6 +11,8 @@
 ex -- subdirectory containing examples.  To execute them, enter an ML image
 containing HOL and type:    use "ex/ROOT.ML";
 
+Subst -- subdirectory defining a theory of substitution and unification.
+
 Useful references on Higher-Order Logic:
 
 	P. B. Andrews,