Prefix_subtract.thy
changeset 103 f460d5f75cb5
parent 31 b6815473ee2e
child 149 e122cb146ecc
equal deleted inserted replaced
102:5fed809d0fc1 103:f460d5f75cb5