| Thu, 28 Feb 2002 17:46:46 +0100 | paulson | fixing nat_combine_numerals simprocs (again) | changeset | files |
| Thu, 28 Feb 2002 17:21:48 +0100 | kleing | enforce positive branch targets | changeset | files |
| Thu, 28 Feb 2002 15:12:09 +0100 | kleing | fixed missing label | changeset | files |
| Thu, 28 Feb 2002 13:38:49 +0100 | kleing | fixed document | changeset | files |
| Wed, 27 Feb 2002 21:53:54 +0100 | wenzelm | tuned feedback of goal forms; | changeset | files |
| Wed, 27 Feb 2002 21:53:33 +0100 | wenzelm | improved messages; | changeset | files |
| Wed, 27 Feb 2002 21:53:12 +0100 | wenzelm | tuned local goal forms; | changeset | files |