| author | kleing |
| Thu, 20 Jun 2002 22:17:28 +0200 | |
| changeset 13233 | 5ab7bac534c9 |
| parent 13046 | 69ab0e74ccda |
| child 13447 | 3470596f3cd5 |
| permissions | -rw-r--r-- |
* Cambridge (UK) http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ * Munich (Germany) http://isabelle.in.tum.de/dist/ * New Jersey (USA) http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html Dave MacQueen <dbm@research.bell-labs.com> * Stanford (USA) (??) ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html Lal George (??)