src/ZF/Cardinal.ML
changeset 1003 6413adca7601
parent 845 825e96b87ef7
child 1031 a53cbb4b06c5
equal deleted inserted replaced
1002:280ec187f8e1 1003:6413adca7601