Sat, 08 Oct 2005 23:36:01 +0200 | nipkow | *** empty log message *** | changeset | files |
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 |
Sat, 08 Oct 2005 22:39:39 +0200 | wenzelm | uses susp.ML, lazy_seq.ML, lazy_scan.ML; | changeset | files |
Sat, 08 Oct 2005 22:39:38 +0200 | wenzelm | added Import/susp.ML, Import/lazy_seq.ML, Import/lasy_scan.ML; | changeset | files |