]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/tests/paramodulation/boolean_algebra.ma
...
[helm.git] / helm / software / matita / tests / paramodulation / boolean_algebra.ma
2008-01-10 Enrico TassiBIG FAT WARNING: DEVELOPMENTS DIE HERE
2007-07-26 Enrico Tassiauto -> autobatch
2007-02-21 Ferruccio Guididecompose now works without premises
2006-12-30 Ferruccio Guidi dependence to legacy/coq.ma fixed
2006-04-05 Enrico Tassicreate directory paramodulation for tests for paramodul...