src/ZF/func.thy
author paulson
Fri, 03 Jan 1997 15:01:55 +0100
changeset 2469 b50b8c0eec01
parent 519 98b88551e102
child 13163 e320a52ff711
permissions -rw-r--r--
Implicit simpsets and clasets for FOL and ZF

(*Dummy theory to document dependencies *)

func = domrange + equalities