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 --- libnormalform.7 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'libnormalform.7') diff --git a/libnormalform.7 b/libnormalform.7 index 1607b34..88cfc91 100644 --- a/libnormalform.7 +++ b/libnormalform.7 @@ -1,6 +1,6 @@ .TH LIBNORMALFORM 7 LIBNORMALFORM .SH NAME -libnormalform \- First-order logic sentence canonicalisation library +libnormalform \- First-order logic sentence normalisation library .SH SYNOPSIS .nf -- cgit v1.3.1