Admin/MIRRORS
author huffman
Tue Jul 12 18:26:44 2005 +0200 (2005-07-12)
changeset 16777 555c8951f05c
parent 13447 3470596f3cd5
permissions -rw-r--r--
added lemmas sfst_defined_iff, ssnd_defined_iff, sfst_defined, ssnd_defined
     1 
     2 * Cambridge (UK)
     3 http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
     4 
     5 * Munich (Germany)
     6 http://isabelle.in.tum.de/dist/
     7 
     8 * New Jersey (USA)
     9 http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html
    10 Dave MacQueen <dbm@research.bell-labs.com>