lexing: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 19 Sep 2014 14:01:01 +0100] rev 11

changed theory name

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 19 Sep 2014 12:54:03 +0100] rev 10

added test version

fahadausaf <fahad.ausaf@icloud.com> [Wed, 10 Sep 2014 12:37:43 +0100] rev 9

commit by fahad

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 09 Sep 2014 05:12:01 +0100] rev 8

started a few arguments for the ALT case

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 21:13:36 +0100] rev 7

cleaned up the theory

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 16:36:13 +0100] rev 6

getting back the original version by Sulzmann

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Sep 2014 14:06:15 +0100] rev 5

initial version of the theory

lexing