proof-general/x-symbol/README, branch master
Emacs plugins for proof management systems
Deleted file
2003-03-03T20:15:29+00:00
David Aspinall
2003-03-03T20:15:29+00:00
802550084d24492db40f2dcc4a1e238b81142589
X-Symbol version 4.45 beta
2002-06-07T13:56:09+00:00
David Aspinall
2002-06-07T13:56:09+00:00
6998a9f5b0547aeca576682092bf95100e8efc65