pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2024-09-20 04:07:13 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Typo fix in comment

Browse source
This commit is contained in:
Adam Chlipala 2016-09-22 07:55:45 -04:00
parent 2354de6eca
commit e3128435f8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
BasicSyntax.v
View file

@ -77,7 +77,7 @@ Module ArithWithConstants.
* matches one of the [match] cases in a defining [Fixpoint], * matches one of the [match] cases in a defining [Fixpoint],
* replace with the body of that case, then repeat. *) * replace with the body of that case, then repeat. *)
linear_arithmetic. linear_arithmetic.
(* [linear_arithemtic]: a complete decision procedure for linear arithmetic. (* [linear_arithmetic]: a complete decision procedure for linear arithmetic.
* Relevant formulas are essentially those built up from * Relevant formulas are essentially those built up from
* variables and constant natural numbers and integers * variables and constant natural numbers and integers
* using only addition, with equality and inequality * using only addition, with equality and inequality