proof-general/hol-light/README, branch master Emacs plugins for proof management systems Improvements for type tokens, remove preceding colon 2015-01-05T11:41:31+00:00 David Aspinall 2015-01-05T11:41:31+00:00 855e97db6dc47848dc9c9193a35c4294b7ff7486 






Update documentation
2012-01-19T12:48:02+00:00

David Aspinall

2012-01-19T12:48:02+00:00

05259143d11796175d84535bbe3211ea963b4cf9












Updated
2010-10-10T22:08:17+00:00

David Aspinall

2010-10-10T22:08:17+00:00

5d6827b0fbdd14fdc65cb3a20453a265d0947be3












Experimental hol-light version, not usable yet
2010-09-29T12:15:41+00:00

David Aspinall

2010-09-29T12:15:41+00:00

c6dc09f3633aa500c6f0d2924f5effd5e734d8ac