thys/Simplifying.thy
changeset 597 19d304554ae1
parent 293 1a4e5b94293b