Mon, 18 Mar 1996 13:42:35 +0100 | paulson | New file containing search tacticals | changeset | files |
Fri, 15 Mar 1996 18:47:05 +0100 | paulson | Now provides astar versions (thanks to Norbert Voelker) | changeset | files |
Fri, 15 Mar 1996 18:43:33 +0100 | paulson | New safe_meson_tac proves some harder theorems | changeset | files |
Fri, 15 Mar 1996 18:42:36 +0100 | paulson | New safe_meson_tac uses iterative deepening | changeset | files |
Fri, 15 Mar 1996 18:41:04 +0100 | paulson | Sets a lower value of Unify.search_bound | changeset | files |
Fri, 15 Mar 1996 18:39:08 +0100 | paulson | Search tacticals moved to search.ML | changeset | files |
Fri, 15 Mar 1996 18:38:24 +0100 | paulson | Updated for new file search.ML | changeset | files |