chiark / gitweb /
strategy: define W in Notation master
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:44:04 +0000 (20:44 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:44:04 +0000 (20:44 +0100)
commit9ea3bcbdf09183a1c40fa6f08e5e8cb0628abe50
tree4b8914252bfef21a771706b893b6e298599387ec
parent39aa11f8790f64b28c6354dee9a846d0eefe86d6
strategy: define W in Notation
strategy.tex