thys/Re.thy
Fri, 18 Dec 2015 00:37:35 +0000 Christian Urban added POSIX relation from the Type-Inference paper
Thu, 17 Dec 2015 14:16:24 +0000 Christian Urban cleaned up version of Re1
less more (0) -2 tip