]>
2009-12-09 | Andrea Asperti | Added the paramodulation stuff to the status | blob | commitdiff | raw |
2009-10-05 | Enrico Tassi | added auto_cache in the dupable status after an | blob | commitdiff | raw | diff to current |
2009-10-05 | Enrico Tassi | new ng_library module | blob | commitdiff | raw | diff to current |