Attic/MySimplification.thy
author Chengsong
Mon, 09 May 2022 17:17:52 +0100
changeset 511 47618d607bbf
parent 95 a33d3040bf7e
permissions -rw-r--r--
isarfied

theory MySimplification
imports Main
begin