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

Fix typo in a comment

Browse source
This commit is contained in:
Adam Chlipala 2017-02-27 09:52:21 -05:00
parent 09dec13dd3
commit 6ffd08411c
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
TransitionSystems.v
View file

@ -300,7 +300,7 @@ Qed.
(* This inductive state effectively encodes all possible combinations of two (* This inductive state effectively encodes all possible combinations of two
* kinds of *local*state* in a thread: * kinds of *local*state* in a thread:
* - program counter * - program counter
* - values of local variables that may be ready eventually *) * - values of local variables that may be read eventually *)
Inductive increment_program := Inductive increment_program :=
| Lock | Lock
| Read | Read

2
TransitionSystems_template.v
View file

@ -202,7 +202,7 @@ Qed.
(* This inductive state effectively encodes all possible combinations of two (* This inductive state effectively encodes all possible combinations of two
* kinds of *local*state* in a thread: * kinds of *local*state* in a thread:
* - program counter * - program counter
* - values of local variables that may be ready eventually *) * - values of local variables that may be read eventually *)
Inductive increment_program := Inductive increment_program :=
| Lock | Lock
| Read | Read