chiark / gitweb /
invariants: change notation in Bases' Children
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 7 Aug 2013 21:05:39 +0000 (22:05 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 7 Aug 2013 21:05:39 +0000 (22:05 +0100)
commit31bef480a11f8b286a359200a1034131525af6fb
treebad1745f25e601db5c9e06bee1e530633a9373dd
parentf58dec73ac7e656f88ff6e23f3e635c96286ae77
invariants: change notation in Bases' Children
invariants.tex