src/ZF/pair.thy
author paulson
Fri Jan 03 15:01:55 1997 +0100 (1997-01-03)
changeset 2469 b50b8c0eec01
parent 124 858ab9a9b047
child 9570 e16e168984e1
permissions -rw-r--r--
Implicit simpsets and clasets for FOL and ZF
     1 (*Dummy theory to document dependencies *)
     2 
     3 pair = upair
     4