thys/Re.thy
2016-01-14 Christian Urban updated
2016-01-06 Christian Urban added type inference paper and updated Re.thy
2015-12-19 Christian Urban added a proof about Values and PMatch
2015-12-18 Christian Urban updated
2015-12-18 Christian Urban the algorithm is correct according to the Type Inference definition
2015-12-18 Christian Urban added POSIX relation from the Type-Inference paper
2015-12-17 Christian Urban cleaned up version of Re1
2014-09-19 Christian Urban added test version
2014-09-10 fahadausaf commit by fahad
2014-09-09 Christian Urban started a few arguments for the ALT case
2014-09-08 Christian Urban cleaned up the theory
2014-09-08 Christian Urban getting back the original version by Sulzmann
2014-09-08 Christian Urban initial version of the theory
less more (0) tip