Electronic Appendix
The Logic of Hereditary Harrop Formulas as a Specification
Logic for Hybrid,
by Chelsea Battell and Amy Felty.
In Proceedings of the Eleventh International Workshop on Logical
Frameworks and Meta-Languages: Theory and Practice (LFMTP),
June 2016
(pdf).
The files have been updated to run in Coq V.8.18.0 (updated from the
original in Coq V8.5). They are also now under the
GNU General Public
License.