From 77ade8d20906fe9ca2cf6788ff1e1437e0912868 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Mon, 1 Jun 2026 19:07:14 +0200 Subject: Second commit MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README') diff --git a/README b/README index 37019cc..506463b 100644 --- a/README +++ b/README @@ -1,5 +1,5 @@ NAME - libnormalform - First-order logic sentence canonicalisation library + libnormalform - First-order logic sentence normalisation library SYNOPSIS #include -- cgit v1.3.1