| changeset 13046 | 69ab0e74ccda |
| parent 9048 | 3add5cfc89c2 |
| child 13447 | 3470596f3cd5 |
--- a/Admin/MIRRORS Fri Mar 08 11:41:10 2002 +0100 +++ b/Admin/MIRRORS Fri Mar 08 11:43:01 2002 +0100 @@ -9,6 +9,6 @@ http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html Dave MacQueen <dbm@research.bell-labs.com> -* Stanford (USA) +* Stanford (USA) (??) ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html -Lal George (?) +Lal George (??)