src/ZF/pair.thy
author clasohm
Tue Nov 16 14:24:21 1993 +0100 (1993-11-16)
changeset 124 858ab9a9b047
child 2469 b50b8c0eec01
permissions -rw-r--r--
made pseudo theories for all ML files;
documented dependencies between all thy and ML files
     1 (*Dummy theory to document dependencies *)
     2 
     3 pair = "upair"