diff options
Diffstat (limited to 'src/proof/ssw/sswSemi.c')
-rw-r--r-- | src/proof/ssw/sswSemi.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/ssw/sswSemi.c b/src/proof/ssw/sswSemi.c index 74305adf..ec50ab50 100644 --- a/src/proof/ssw/sswSemi.c +++ b/src/proof/ssw/sswSemi.c @@ -6,7 +6,7 @@ PackageName [Inductive prover with constraints.] - Synopsis [Semiformal for equivalence clases.] + Synopsis [Semiformal for equivalence classes.] Author [Alan Mishchenko] |