Admin/MIRRORS
2002-08-05 wenzelm 2002-08-05 updated;
2002-03-08 wenzelm 2002-03-08 removed Stanford mirror;
2000-06-07 wenzelm 2000-06-07 generate TAGS file for Isabelle sources;
1999-04-29 wenzelm 1999-04-29 *** empty log message ***