12 commits

Author	SHA1	Message	Date
Adam Chlipala	e3f0ada30e	Revising for Wednesday's lecture	2022-02-20 12:29:17 -05:00
Adam Chlipala	d745f0802e	Ported to Coq 8.15	2022-01-29 15:13:09 -05:00
Adam Chlipala	f14d064555	Update for Coq 8.12.2	2021-01-03 14:56:39 -05:00
Adam Chlipala	254e2aedc6	Tiny copy-editing	2020-02-23 16:20:39 -05:00
Adam Chlipala	256995f1dd	Typo fixes	2018-02-25 19:40:10 -05:00
Adam Chlipala	4056523a61	Start of DataAbstraction book chapter	2017-02-20 16:06:33 -05:00
Adam Chlipala	ef6cb8cb53	Comment DataAbstraction	2017-02-20 15:24:51 -05:00
Adam Chlipala	cf4d06c222	DataAbstraction: range sets	2017-02-12 17:49:30 -05:00
Adam Chlipala	f14ed26afa	DataAbstraction: FindDuplicates	2017-02-12 16:27:57 -05:00
Adam Chlipala	d09f1abe92	Start of DataAbstraction: finite sets	2017-02-12 15:54:34 -05:00
Adam Chlipala	0b7b299fb8	Start of DataAbstraction: queues with rep functions	2017-02-12 15:39:42 -05:00
Adam Chlipala	2dac252854	Start of DataAbstraction: queue examples	2017-02-12 15:19:48 -05:00