8 commits

Author	SHA1	Message	Date
Adam Chlipala	3048b59f34	Revising before tomorrow's lecture	2021-03-16 18:23:24 -04:00
Adam Chlipala	096b69a3e9	Update LogicProgramming for Coq 8.10	2020-03-01 10:39:01 -05:00
Adam Chlipala	c8cfde5acf	Proofreading LogicProgramming	2018-03-13 20:26:17 -04:00
Adam Chlipala	f4f4a5a6ce	Merge branch 'master' of ssh://schizomaniac.net//home/adamc/git-root/frap	2017-03-18 12:30:55 -04:00
Adam Chlipala	67ed8a4a63	LogicProgramming bonus: extending an automated-proof example to build a runnable witness finder	2017-03-18 12:30:50 -04:00
Adam Chlipala	ab51849203	Fix title in comments	2017-03-15 12:01:28 -04:00
Adam Chlipala	8030db0a17	LogicProgramming_template.v	2017-03-15 11:58:45 -04:00
Adam Chlipala	e047f2b67c	LogicProgramming	2017-03-14 17:16:09 -04:00