| Mon, 29 Mar 2010 17:30:48 +0200 | bulwahn | removing fishing for split thm in the predicate compiler | changeset | files |
| Mon, 29 Mar 2010 17:30:46 +0200 | bulwahn | prefer recursive calls before others in the mode inference | changeset | files |
| Mon, 29 Mar 2010 17:30:45 +0200 | bulwahn | added statistics to values command for random generation | changeset | files |