added mention of Subst
authorlcp
Mon, 13 Dec 1993 18:43:03 +0100
changeset 24 340d21c86440
parent 23 2c7fedb2713c
child 25 5d95fe89f501
added mention of Subst
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,