proof-general/hol98/todo, branch master
Emacs plugins for proof management systems
Deleted file
2007-12-13T12:58:11+00:00
David Aspinall
2007-12-13T12:58:11+00:00
d64389d34f3494b97c67b7a6094123f1a699040c
Updated
2000-03-24T16:21:25+00:00
David Aspinall
2000-03-24T16:21:25+00:00
a42ec4ac01a949165485bd348678b11c40d0a4b1
Updated
2000-03-19T06:42:24+00:00
David Aspinall
2000-03-19T06:42:24+00:00
776750c813a39954259f5eb098259b5c124afd8c
New/updated information files
2000-03-13T04:21:14+00:00
David Aspinall
2000-03-13T04:21:14+00:00
390a659861192ebf98811438f61c4f992ecad25a
TODOs for HOL.
2000-03-10T09:20:35+00:00
David Aspinall
2000-03-10T09:20:35+00:00
2cce0bc0f772d120b9ad53b9241c78767ac727d0