Fri, 08 Mar 2002 11:41:10 +0100 | wenzelm | drop Stanford mirror; | changeset | files |
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 |