urbanc [Mon, 25 Jul 2011 13:33:38 +0000] rev 170
made the theories compatible with the existing developments in the AFP; old theories are in the directory Attic
zhang [Fri, 03 Jun 2011 13:59:21 +0000] rev 169
added boolean grammar
zhang [Fri, 03 Jun 2011 13:54:14 +0000] rev 168
added
urbanc [Thu, 02 Jun 2011 20:02:16 +0000] rev 167
added a journal version
urbanc [Thu, 02 Jun 2011 16:44:35 +0000] rev 166
updated theories and itp-paper
urbanc [Tue, 31 May 2011 20:32:49 +0000] rev 165
added missing file
urbanc [Sun, 29 May 2011 20:01:37 +0000] rev 164
added old paper
urbanc [Thu, 26 May 2011 18:39:36 +0000] rev 163
a few more literature places
urbanc [Wed, 18 May 2011 19:54:43 +0000] rev 162
added directory for journal version; took uptodate version of the theory files
urbanc [Thu, 12 May 2011 05:55:05 +0000] rev 161
preparation for final paper version
urbanc [Mon, 09 May 2011 07:25:37 +0000] rev 160
added comments from Chunhan
urbanc [Wed, 04 May 2011 07:05:59 +0000] rev 159
edits; sqeezed to 16 pages
urbanc [Thu, 28 Apr 2011 03:24:20 +0000] rev 158
paper about formalising parsing; seems to have done what we would like to do....probably also appears at ITP'11
urbanc [Thu, 21 Apr 2011 22:41:15 +0000] rev 157
a small change