| Fri, 23 Jul 1999 16:54:28 +0200 | wenzelm | rail -a; | changeset | files |
| Fri, 23 Jul 1999 16:52:45 +0200 | wenzelm | tuned add_term_varnames; | changeset | files |
| Fri, 23 Jul 1999 16:51:52 +0200 | wenzelm | replaced assoc lists by Symtab.table; | changeset | files |
| Fri, 23 Jul 1999 16:51:25 +0200 | wenzelm | Type.norm_term; | changeset | files |
| Fri, 23 Jul 1999 16:50:55 +0200 | wenzelm | replace assoc lists by Symtab.table; | changeset | files |
| Fri, 23 Jul 1999 16:50:20 +0200 | wenzelm | require_thy: fixed performance leak; | changeset | files |
| Fri, 23 Jul 1999 14:05:50 +0200 | wenzelm | fix occurences of numerals in HOL/ZF terms; | changeset | files |