Attic/Prefix_subtract.thy
changeset 194 5347d7556487
parent 182 560712a29a36
child 372 2c56b20032a7
equal deleted inserted replaced
193:2a5ac68db24b 194:5347d7556487