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