| Mon, 23 Jul 2012 14:18:28 +0200 | wenzelm | removed some old/unused stuff; | changeset | files |
| Mon, 23 Jul 2012 12:05:48 +0200 | wenzelm | updated smlnj settings; | changeset | files |
| Mon, 23 Jul 2012 15:32:30 +0200 | blanchet | cap the number of facts returned by MaSh | changeset | files |
| Mon, 23 Jul 2012 15:32:30 +0200 | blanchet | remove MaSh junk associated with size functions | changeset | files |
| Mon, 23 Jul 2012 15:32:30 +0200 | blanchet | identified "evil" theories for MaSh -- this is rather ad hoc, but so is MaSh anyway | changeset | files |
| Mon, 23 Jul 2012 15:32:30 +0200 | blanchet | removed MaSh junk arising from primrec definitions | changeset | files |
| Mon, 23 Jul 2012 15:32:30 +0200 | blanchet | distinguish between recursive and nonrecursive definitions + clean up typedef dependencies in MaSh | changeset | files |