lexing: Changelog

Christian Urban <christian dot urban at kcl dot ac dot uk> [Wed, 10 Jun 2015 14:51:35 +0100] rev 79

added frisch / cardelli paper

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 08 Jun 2015 14:37:19 +0100] rev 78

updated the Isabelle theories with the totality proof

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 25 May 2015 16:09:23 +0100] rev 77

proved some basic properties (totality and trichonomity) for the orderings

Christian Urban <urbanc@in.tum.de> [Sat, 25 Apr 2015 10:58:48 +0100] rev 76

added an equivalent slightly simpler POSIX definition

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 10 Apr 2015 22:38:36 +0100] rev 75

updated

Christian Urban <christian dot urban at kcl dot ac dot uk> [Fri, 13 Mar 2015 21:27:03 +0000] rev 74

updated from the session today

Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 09 Mar 2015 10:49:17 +0000] rev 73

solved one case

lexing