| Thu, 27 Dec 2012 21:01:08 +0100 | haftmann | more explicit name | changeset | files |
| Thu, 27 Dec 2012 16:49:12 +0100 | blanchet | improved thm order hack, in case the default names are overridden | changeset | files |
| Thu, 27 Dec 2012 15:46:27 +0100 | blanchet | enable theory learning in MaSh | changeset | files |
| Thu, 27 Dec 2012 12:43:41 +0100 | blanchet | merged | changeset | files |
| Thu, 27 Dec 2012 12:34:06 +0100 | blanchet | new version of MaSh | changeset | files |
| Thu, 27 Dec 2012 10:21:21 +0100 | blanchet | fixed total | changeset | files |
| Thu, 27 Dec 2012 10:01:40 +0100 | blanchet | new version of MaSh, with theory-level reasoning | changeset | files |
| Thu, 27 Dec 2012 11:32:28 +0100 | haftmann | tuned | changeset | files |
| Wed, 26 Dec 2012 11:06:21 +0100 | wenzelm | prefer lxbroy10 to evade NFS/hg breakdown seen on various other local machines; | changeset | files |
| Sun, 23 Dec 2012 19:54:15 +0100 | nipkow | renamed and added lemmas | changeset | files |
| Sat, 22 Dec 2012 00:04:50 +0100 | nipkow | added simp rule | changeset | files |
| Fri, 21 Dec 2012 23:52:10 +0100 | nipkow | merged | changeset | files |
| Fri, 21 Dec 2012 16:31:37 +0100 | nipkow | merged | changeset | files |
| Fri, 21 Dec 2012 10:08:06 +0100 | nipkow | merged | changeset | files |
| Fri, 21 Dec 2012 15:22:57 +0100 | blanchet | linearize eval driver, to work around horrible bug in previous implementation | changeset | files |