From 5a37100aba7973c08b7067132b5dba63334a45f1 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jul 2015 23:48:40 +0200
Subject: Readme

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 185406c..f12c9e5 100644
--- a/README.md
+++ b/README.md
@@ -3,7 +3,7 @@
 Logic toolbox in [Clean](http://wiki.clean.cs.ru.nl/Clean). Features include:
 
  * Straightforward types for (atomic) expressions, operators and truth tables
- * `toString` instances for all types that take care of associativity
+ * `show` (`toString`-like) instances for all types that take care of associativity
  * Substituting atomic expressions for constants
  * Evaluating expressions without atomic expressions
  * Generating truth tables for expressions, possibly with intermediate steps
-- 
cgit v1.2.3