thys/Re.thy
Sat, 19 Dec 2015 23:51:31 +0000 Christian Urban added a proof about Values and PMatch
less more (0) -1 tip