| Wed, 23 Jan 2002 17:01:53 +0100 | wenzelm | less_Suc0; | changeset | files |
| Wed, 23 Jan 2002 16:58:45 +0100 | wenzelm | error "Unexpected end of input"; | changeset | files |
| Wed, 23 Jan 2002 16:58:26 +0100 | wenzelm | reorganized code for predicate text; | changeset | files |
| Wed, 23 Jan 2002 16:58:05 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 23 Jan 2002 16:57:33 +0100 | wenzelm | * HOL: nat_number_of; | changeset | files |
| Wed, 23 Jan 2002 11:43:53 +0100 | paulson | A few more standard simprules, TCs, etc. | changeset | files |