Mon, 04 Apr 2011 21:35:59 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
Mon, 04 Apr 2011 16:35:46 +0200 | wenzelm | merged | changeset | files |
Mon, 04 Apr 2011 16:28:36 +0200 | blanchet | document "nitpick(_params)", "refute(_params)", "try", "sledgehammer(_params)", and "solve_direct" | changeset | files |