Fri, 02 Feb 2001 22:20:43 +0100 | wenzelm | module setup; | changeset | files |
Fri, 02 Feb 2001 22:20:09 +0100 | wenzelm | use hol_simplify; | changeset | files |
Fri, 02 Feb 2001 22:19:52 +0100 | wenzelm | use hol_rewrite_cterm; | changeset | files |
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 |