| Fri, 02 Feb 2001 22:19:23 +0100 | wenzelm | added hol_simplify, hol_rewrite_cterm; | changeset | files |
| Fri, 02 Feb 2001 22:19:02 +0100 | wenzelm | split = split_conv (for compatibility); | changeset | files |
| Fri, 02 Feb 2001 22:18:10 +0100 | wenzelm | added hidden internal_split constant; | changeset | files |