corrections to predicate fn
authorLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 28 Jun 2018 09:09:24 +0000 (10:09 +0100)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Thu, 28 Jun 2018 09:09:24 +0000 (10:09 +0100)
commit03d2ba082512c16a06b0de5b974791b2d1e8965b
treebbca2f594c20796b06c65d9a73dc493b4ea1ca89
parent087b13fc7b9d92e50440d3d5fd909352e8711035
corrections to predicate fn
simple_v_extension/simple_v_chennai_2018.tex