| Mon, 25 Feb 2002 10:45:22 +0100 | nipkow | updated debugging output | changeset | files |
| Mon, 25 Feb 2002 10:42:34 +0100 | nipkow | solved the problem that Larry's simproce cancle_numerals(?) returns | changeset | files |
| Sun, 24 Feb 2002 21:47:33 +0100 | wenzelm | added using_thmss(_i); | changeset | files |
| Sun, 24 Feb 2002 21:47:01 +0100 | wenzelm | added using_facts; | changeset | files |
| Sun, 24 Feb 2002 21:45:57 +0100 | wenzelm | replaced 'using' keyword by 'to'; | changeset | files |
| Sun, 24 Feb 2002 21:45:11 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 24 Feb 2002 21:44:43 +0100 | wenzelm | 'using' command; | changeset | files |