proof-general/hol-light/LICENSE-HOL-LIGHT, branch master Emacs plugins for proof management systems Update documentation 2012-01-19T12:48:02+00:00 David Aspinall 2012-01-19T12:48:02+00:00 05259143d11796175d84535bbe3211ea963b4cf9