lexing: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 08 Oct 2014 10:30:14 +0100] rev 27

added done to the proof.

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 08 Oct 2014 10:28:19 +0100] rev 26

deleted temporary files

fahadausaf <fahad.ausaf@icloud.com> [Tue, 07 Oct 2014 18:43:29 +0100] rev 25

lemma

Christian Urban <christian dot urban at kcl dot ac dot uk> [Tue, 07 Oct 2014 16:17:23 +0100] rev 24

added type information to produce the expected result with value

fahadausaf <fahad.ausaf@icloud.com> [Tue, 07 Oct 2014 12:48:56 +0100] rev 23

commit

fahadausaf <fahad.ausaf@icloud.com> [Tue, 07 Oct 2014 12:33:27 +0100] rev 22

Count

fahadausaf <fahad.ausaf@icloud.com> [Mon, 06 Oct 2014 16:42:52 +0100] rev 21

add

lexing