proof-general/etc/isa/depends, branch master
Emacs plugins for proof management systems
obsolete;
2008-06-14T17:16:23+00:00
Makarius Wenzel
2008-06-14T17:16:23+00:00
41fc4493a96c8a66971d293b557ba9903bf9c053
Files for testing theorem dependency features.
2000-08-14T21:06:06+00:00
David Aspinall
2000-08-14T21:06:06+00:00
a0466897230202bff4724a9c91b037ea0862d817