thys2/Recs.thy
Thu, 10 Jan 2019 13:00:04 +0000 Christian Urban updated to Isabelle 2017
less more (0) -1 tip