pl/frap
1
0
Fork 0
mirror of https://github.com/achlipala/frap.git synced 2024-12-01 00:26:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix title in comments

Browse source
This commit is contained in:
Adam Chlipala 2017-03-15 12:01:28 -04:00
parent 8030db0a17
commit ab51849203
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
LogicProgramming.v
View file

@ -1,5 +1,5 @@
(** Formal Reasoning About Programs <http://adam.chlipala.net/frap/> (** Formal Reasoning About Programs <http://adam.chlipala.net/frap/>
* Supplementary Coq material: proof by reflection * Supplementary Coq material: unification and logic programming
* Author: Adam Chlipala * Author: Adam Chlipala
* License: https://creativecommons.org/licenses/by-nc-nd/4.0/ * License: https://creativecommons.org/licenses/by-nc-nd/4.0/
* Much of the material comes from CPDT <http://adam.chlipala.net/cpdt/> by the same author. *) * Much of the material comes from CPDT <http://adam.chlipala.net/cpdt/> by the same author. *)

2
LogicProgramming_template.v
View file

@ -1,5 +1,5 @@
(** Formal Reasoning About Programs <http://adam.chlipala.net/frap/> (** Formal Reasoning About Programs <http://adam.chlipala.net/frap/>
* Supplementary Coq material: proof by reflection * Supplementary Coq material: unification and logic programming
* Author: Adam Chlipala * Author: Adam Chlipala
* License: https://creativecommons.org/licenses/by-nc-nd/4.0/ * License: https://creativecommons.org/licenses/by-nc-nd/4.0/
* Much of the material comes from CPDT <http://adam.chlipala.net/cpdt/> by the same author. *) * Much of the material comes from CPDT <http://adam.chlipala.net/cpdt/> by the same author. *)