2005-07-19 | wenzelm | incr_tvar (from term.ML), incr_indexes: avoid garbage; | changeset | files |
2005-07-19 | wenzelm | added has_duplicates; | changeset | files |
2005-07-19 | wenzelm | tuned interfaces declare, define, finalize, merge: | changeset | files |
2005-07-19 | wenzelm | Logic.incr_tvar; | changeset | files |
Loading... |