thys3/ClosedForms.thy
Thu, 23 Jun 2022 16:09:40 +0100 Chengsong thesis_thys
Mon, 09 May 2022 17:24:26 +0100 Chengsong more isarfy
less more (0) -2 tip