6 commits

Author	SHA1	Message	Date
Adam Chlipala	77f22213d8	Avoid a command only introduced in Coq 8.10, so that 8.9 keeps working	2020-02-10 13:44:35 -05:00
Adam Chlipala	56af55f38a	Revising Interpreters before class	2020-02-09 14:50:46 -05:00
Adam Chlipala	4539409e73	For Coq 8.5 compatibility, use [Admitted] instead of [admit]	2016-02-09 18:10:58 -05:00
Adam Chlipala	087e9334d8	Rename [map] to [fmap]	2016-02-09 09:07:37 -05:00
Adam Chlipala	9720a6e0c6	One more redaction from Interpreters_template	2016-02-07 14:42:34 -05:00
Adam Chlipala	5299d4ebf3	Add Interpreters_template	2016-02-07 14:23:54 -05:00