2009-02-13 kleing find_consts: display the search criteria. (by Timothy Bourke)
2009-02-13 kleing find_consts: documentation. (by Timothy Bourke)
2009-02-13 kleing FindTheorems solves: update documentation (by Timothy Bourke)
2009-02-13 haftmann fixed codegen tool
2009-02-13 haftmann merged
2009-02-13 haftmann fixed codegen tool
2009-02-13 nipkow merged
Loading...
(0) -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip