src/ZF/simpdata.thy
author wenzelm
Fri, 06 Aug 1999 22:30:42 +0200
changeset 7190 ba6f09cd7769
parent 856 a05e2b5f24c4
permissions -rw-r--r--
simplified handling of ML file; improved master info;

(*Dummy theory to document dependencies *)

simpdata = "equalities" + "func"