]> matita.cs.unibo.it Git - helm.git/history - helm/cgi/mkheader.pl
Added recursive path ordering and demodulation tactic.
[helm.git] / helm / cgi / mkheader.pl
2001-03-06 Claudio Sacerdoti... library3 ==> javascript
2001-03-06 Claudio Sacerdoti... New on-line interface