| Wed, 20 Mar 1996 18:39:59 +0100 | paulson | New module for display/printing operations, taken from drule.ML | changeset | files |
| Wed, 20 Mar 1996 18:36:59 +0100 | paulson | Describes proof objects and Deriv module | changeset | files |
| Wed, 20 Mar 1996 13:21:12 +0100 | clasohm | added warning and automatic deactivation of HTML generation if we cannot write | changeset | files |
| 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 |