src/ZF/subset.thy
author paulson
Thu, 01 Oct 1998 18:30:05 +0200
changeset 5601 b6456ccd9e3e
parent 2469 b50b8c0eec01
child 9570 e16e168984e1
permissions -rw-r--r--
revised for new treatment of integers

(*Dummy theory to document dependencies *)

subset = upair