src/ZF/mono.thy
author paulson
Fri, 11 Aug 2000 13:26:40 +0200
changeset 9577 9e66e8ed8237
parent 5325 f7a5e06adea1
child 13259 01fa0c8dbc92
permissions -rw-r--r--
ZF arith

mono = QPair + Sum + func