Admin/index.html
1998-08-27 wenzelm 1998-08-27 tuned;
1998-08-27 wenzelm 1998-08-27 added tutorial;
1998-02-18 wenzelm 1998-02-18 added New Jersey mirror;
1998-01-15 wenzelm 1998-01-15 tuned URL;
1998-01-14 wenzelm 1998-01-14 New Jersey inactive;
1998-01-12 wenzelm 1998-01-12 tuned;
1998-01-09 wenzelm 1998-01-09 tuned;
1998-01-09 wenzelm 1998-01-09 automatic index.html patch;
1998-01-08 wenzelm 1998-01-08 index.html for Isabelle Distribution Area;