src/ZF/ex/twos_compl.thy
1996-02-06 clasohm 1996-02-06 expanded tabs
1994-09-07 lcp 1994-09-07 addition of ZF/ex/twos_compl.thy