proof-general/etc/hol-light, branch master Emacs plugins for proof management systems Test examples for HOL Light 2012-02-08T14:18:27+00:00 David Aspinall 2012-02-08T14:18:27+00:00 7cc95a00fda26cbd6694075dca74b16c6c54f016