tuned;

tuned;

tuned;

removed Stanford mirror;

drop Stanford mirror;

for rail v 1.2

renamed nat_number_of to nat_number (avoid clash with separate theorem);

tuned;

*** empty log message ***

tuned;