equal
deleted
inserted
replaced
7 |
7 |
8 * New Jersey (USA) |
8 * New Jersey (USA) |
9 http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html |
9 http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html |
10 Dave MacQueen <dbm@research.bell-labs.com> |
10 Dave MacQueen <dbm@research.bell-labs.com> |
11 |
11 |
12 * Stanford (USA) |
12 * Stanford (USA) (??) |
13 ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html |
13 ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html |
14 Lal George (?) |
14 Lal George (??) |