src/ZF/domrange.thy
author paulson
Mon, 27 Mar 2000 17:04:03 +0200 (2000-03-27)
changeset 8590 89675b444abe
parent 5325 f7a5e06adea1
permissions -rw-r--r--
added an order-sorted version of quickSort
(*Dummy theory to document dependencies *)

domrange = pair + subset