src/LCF/pair.thy
author nipkow
Tue, 17 Oct 2000 08:00:46 +0200
changeset 10228 e653cb933293
parent 4905 be73ddff6c5a
permissions -rw-r--r--
added intermediate value thms


pair = LCF