Quotient-Paper/Paper-old.thy
changeset 2657 1ea9c059fc0f
parent 2442 1f9360daf6e1
equal deleted inserted replaced
2656:33a6b690fb53 2657:1ea9c059fc0f