proof-general/html/projects/hol.html, branch master
Emacs plugins for proof management systems
Deleted file
2004-02-07T19:31:13+00:00
David Aspinall
2004-02-07T19:31:13+00:00
b9caaa8e4b66817dbc66d0e79b567b3285869fea
Updated web pages.
2000-03-13T05:14:23+00:00
David Aspinall
2000-03-13T05:14:23+00:00
670761dd6bd6321d65beeacdc81d68c0a2ebe92b
Updated
2000-03-10T06:57:31+00:00
David Aspinall
2000-03-10T06:57:31+00:00
ce1de45404de06e971d1bcb8a00c33292544cc14
Added project for HOL PG
2000-03-09T11:08:10+00:00
David Aspinall
2000-03-09T11:08:10+00:00
d6a021df262590c8ec79834e3019ae34eb7c3e7e