diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-12-27 13:15:11 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-12-27 13:15:11 +0000 |
| commit | 5a754170ca3113295a1bd58f407a2e40e05cc3ff (patch) | |
| tree | 29cca26c918ace6b9065c43a5753488cf878f59d /coq/ex | |
| parent | 8d98b4224b0996f06b6f982244dc2e67385c6945 (diff) | |
Typo
Diffstat (limited to 'coq/ex')
| -rw-r--r-- | coq/ex/test-cases/retract-completely-asserted/a.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/ex/test-cases/retract-completely-asserted/a.v b/coq/ex/test-cases/retract-completely-asserted/a.v index ea9a099d..65e7b13c 100644 --- a/coq/ex/test-cases/retract-completely-asserted/a.v +++ b/coq/ex/test-cases/retract-completely-asserted/a.v @@ -1,4 +1,4 @@ -(* The following defines the absolut name a.a *) +(* The following defines the absolute name a.a *) Definition a := 0.
\ No newline at end of file |