AFP-Submission/Simplifying.thy
changeset 195 c2d36c3cf8ad
parent 191 6bb15b8e6301