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

typo

Browse source
This commit is contained in:
Samuel Gruetter 2020-02-19 17:27:11 -05:00
parent f5ca4613d7
commit d49ca3afa8
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
IntroToProofScripting_template.v
View file

@ -182,7 +182,7 @@ Section propositional.
Admitted. Admitted.
End propositional. End propositional.
(* Backrtracking example #1 *) (* Backtracking example #1 *)
Theorem m1 : True. Theorem m1 : True.
Proof. Proof.