doc 7.1

README.md

@@ -339,8 +339,28 @@ vn-lst))<br>
 <br>
 Note that when a function that overload an operator has more than 2 args (f a1 a2 a3 ...) and only (f a1 a2) is defined
 we do: (f a1 (f a2 a3 ...)) for operators.<br>
-A complete set of new procedures and macros:  overload overload-procedure
-overload-operator overload-function allow overloading of both
+A complete set of new procedures and macros: <br>
+define-overload-procedure
+	 overload-procedure
+	 <pre>
+		 define-overload-existing-procedure
+		 overload-existing-procedure
+
+	 define-overload-operator
+	 overload-operator
+
+	 define-overload-existing-operator
+	 overload-existing-operator
+
+	 define-overload-n-arity-operator
+	 overload-n-arity-operator
+
+	 define-overload-existing-n-arity-operator
+	 overload-existing-n-arity-operator
+
+	 overload-square-brackets
+	 </pre>
+allow overloading of both
 functions and operators. Those macros call procedures written
 recursively because all predicate must be test to find the matching
 procedure as Scheme is not a typed language.<br>