src/LCF/pair.thy
author wenzelm
Fri May 08 13:54:45 1998 +0200 (1998-05-08)
changeset 4905 be73ddff6c5a
permissions -rw-r--r--
proper thy files;
     1 
     2 pair = LCF