lexing: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 21 Jan 2016 12:47:20 +0000] rev 89

added theory for star

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 14 Jan 2016 17:19:40 +0000] rev 88

updated

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 06 Jan 2016 12:24:29 +0000] rev 87

added type inference paper and updated Re.thy

Christian Urban <christian dot urban at kcl dot ac dot uk> [Sat, 19 Dec 2015 23:51:31 +0000] rev 86

added a proof about Values and PMatch

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Dec 2015 14:25:22 +0000] rev 85

updated

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Dec 2015 10:11:01 +0000] rev 84

the algorithm is correct according to the Type Inference definition

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 18 Dec 2015 00:37:35 +0000] rev 83

added POSIX relation from the Type-Inference paper

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 17 Dec 2015 14:16:24 +0000] rev 82

cleaned up version of Re1

Christian Urban <christian dot urban at kcl dot ac dot uk> [Thu, 17 Dec 2015 13:14:36 +0000] rev 81

updated

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 06 Jul 2015 20:44:30 +0100] rev 80

added phd thesis

lexing