src/ZF/Pair.thy
changeset 124 858ab9a9b047
equal deleted inserted replaced
123:0a2f744e008a 124:858ab9a9b047
       
     1 (*Dummy theory to document dependencies *)
       
     2 
       
     3 pair = "upair"