src/ZF/pair.thy
author wenzelm
Fri Oct 05 16:04:56 2001 +0200 (2001-10-05)
changeset 11694 4c6e9d800628
parent 9570 e16e168984e1
child 13240 bb5f4faea1f3
permissions -rw-r--r--
tuned;
     1 theory pair = upair
     2 files "simpdata.ML":
     3 end
     4 
     5