| Sun, 09 Oct 2005 17:06:03 +0200 | webertj | Tactics sat and satx reimplemented, several improvements | changeset | files |
| Sat, 08 Oct 2005 23:43:15 +0200 | wenzelm | tuned Memory.hilim; | changeset | files |
| Sat, 08 Oct 2005 23:43:14 +0200 | wenzelm | get rid of feeder -- at the cost of batch-only commit-at-exit; | changeset | files |
| 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 |
| Sat, 08 Oct 2005 20:15:38 +0200 | wenzelm | minor tweaks for Poplog/PML; | changeset | files |
| Sat, 08 Oct 2005 20:15:37 +0200 | wenzelm | tuned memory limits; | changeset | files |
| Sat, 08 Oct 2005 20:15:36 +0200 | wenzelm | Int.max; | changeset | files |
| Sat, 08 Oct 2005 20:15:35 +0200 | wenzelm | minor tweaks for Poplog/PML; | changeset | files |
| Sat, 08 Oct 2005 20:15:34 +0200 | wenzelm | minor tweaks for Poplog/PML; | changeset | files |
| Sat, 08 Oct 2005 20:15:33 +0200 | wenzelm | initial pop11 code for ML use/use_string; | changeset | files |
| Sat, 08 Oct 2005 20:15:32 +0200 | wenzelm | Poplog/PML: ML_SUFFIX=.psv; | changeset | files |
| Sat, 08 Oct 2005 20:15:31 +0200 | wenzelm | support ML_SUFFIX; | changeset | files |
| Sat, 08 Oct 2005 18:51:03 +0200 | wenzelm | obsolete; | changeset | files |
| Sat, 08 Oct 2005 15:20:58 +0200 | nipkow | fix due to new neq_simproc | changeset | files |
| Fri, 07 Oct 2005 23:29:00 +0200 | wenzelm | removed obsolete comment; | changeset | files |
| Fri, 07 Oct 2005 22:59:26 +0200 | wenzelm | added idtypdummy_ast_tr; | changeset | files |
| Fri, 07 Oct 2005 22:59:25 +0200 | wenzelm | added syntax for _idtdummy, _idtypdummy; | changeset | files |
| Fri, 07 Oct 2005 22:59:24 +0200 | wenzelm | added absdummy; | changeset | files |