src/ZF/ex/twos_compl.thy
Wed, 07 Sep 1994 17:28:53 +0200 lcp addition of ZF/ex/twos_compl.thy
less more (0) tip