Attic/MySimplification.thy
author Chengsong
Tue, 04 Oct 2022 00:25:09 +0100
changeset 611 bc1df466150a
parent 95 a33d3040bf7e
permissions -rw-r--r--
more

theory MySimplification
imports Main
begin