| Wed, 20 Feb 2002 15:47:42 +0100 | berghofe | Converted to new theory format. | changeset | files |
| Wed, 20 Feb 2002 00:55:42 +0100 | wenzelm | added is_quasi; | changeset | files |
| Wed, 20 Feb 2002 00:54:54 +0100 | wenzelm | removed obscure functions bump_int_list, bump_list, bump_string; | changeset | files |