src/ZF/equalities.thy
author paulson
Fri Jan 03 15:01:55 1997 +0100 (1997-01-03)
changeset 2469 b50b8c0eec01
parent 520 806d3f00590d
child 13165 31d020705aff
permissions -rw-r--r--
Implicit simpsets and clasets for FOL and ZF
clasohm@124
     1
(*Dummy theory to document dependencies *)
clasohm@124
     2
paulson@2469
     3
equalities = domrange
paulson@2469
     4