src/ZF/AC/WO2_AC16.thy
changeset 59741 5b762cd73a8e
parent 58860 fee7cfa69c50
child 59788 6f7b6adac439
equal deleted inserted replaced
59734:f41a2f77ab1b 59741:5b762cd73a8e