| Fri, 23 Aug 2013 13:30:25 +0200 | blanchet | learn new facts on query if there aren't too many of them in MaSh | changeset | files |
| Fri, 23 Aug 2013 00:12:20 +0200 | kuncar | remove OP | changeset | files |
| Thu, 22 Aug 2013 23:03:23 +0200 | blanchet | increase relevance of unknown proximate facts | changeset | files |
| Thu, 22 Aug 2013 23:03:22 +0200 | blanchet | fixed pattern matching | changeset | files |
| Thu, 22 Aug 2013 23:03:21 +0200 | blanchet | fixed subtle bug with "take" + thread overlord through | changeset | files |
| Thu, 22 Aug 2013 21:15:43 +0200 | haftmann | separate tracing option for code_simp | changeset | files |
| Thu, 22 Aug 2013 21:15:43 +0200 | haftmann | congruence rules for code_simp to mimic typical non-strict behaviour of conj and disj | changeset | files |