diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-19 14:52:43 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-02-19 14:52:43 -0800 |
| commit | 2377ae60e99fd751021cbcac880b584d57c284a1 (patch) | |
| tree | 8189050d8e0e518b50437d0a5145efce679197a5 /src/proof/ssw | |
| parent | ea13085fe34bed2e827fe8ec6fb7e24c6e1a5d8f (diff) | |
| download | abc-2377ae60e99fd751021cbcac880b584d57c284a1.tar.gz abc-2377ae60e99fd751021cbcac880b584d57c284a1.tar.bz2 abc-2377ae60e99fd751021cbcac880b584d57c284a1.zip | |
Isomorphism checking code.
Diffstat (limited to 'src/proof/ssw')
| -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] |