| Sat, 08 Oct 2005 23:05:59 +0200 | wenzelm | -nort option; | changeset | files |
| Sat, 08 Oct 2005 22:39:42 +0200 | wenzelm | added could_unify; | changeset | files |
| Sat, 08 Oct 2005 22:39:41 +0200 | wenzelm | more efficient check_specified, much less invocations; | changeset | files |
| Sat, 08 Oct 2005 22:39:40 +0200 | wenzelm | moved susp.ML, lazy_seq.ML, lazy_scan.ML to HOL/Import; | changeset | files |