proof-general/obsolete/demoisa/README, branch master
Emacs plugins for proof management systems
Renamed file obsolete/demoisa/README, formerly demoisa/README
2010-08-25T15:09:09+00:00
David Aspinall
2010-08-25T15:09:09+00:00
7fe13eaa8a9c26460db874eac8445e87ef1b4efa