| Fri, 08 Mar 2002 10:57:53 +0100 | paulson | for rail v 1.2 | changeset | files |
| Thu, 07 Mar 2002 23:41:30 +0100 | wenzelm | renamed nat_number_of to nat_number (avoid clash with separate theorem); | changeset | files |
| Thu, 07 Mar 2002 23:21:19 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 07 Mar 2002 22:52:07 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Thu, 07 Mar 2002 19:07:56 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 07 Mar 2002 19:04:00 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 07 Mar 2002 12:03:43 +0100 | berghofe | - made modes_of more robust | changeset | files |