Update to causality section. Bool -> Prop in predicate definition.
authorJoey Capper <jjc@cs.nott.ac.uk>
Thu, 6 Jan 2011 14:06:09 +0000 (14:06 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Thu, 6 Jan 2011 14:06:09 +0000 (14:06 +0000)
commit3caeddf86e16d7f4af9239aa99ec867dfa3b71b2
tree58a22264fa221dc35c2e9f0e81690929d8a74ba2
parenteb841201a45ffab8f8f6637a0cf0a6b340d3511a
Update to causality section. Bool -> Prop in predicate definition.
Rephrasing second on conditions. Further citations. Removed \elem
from notational table. Other minor tweaks to language and grammar.
balance.lhs
future.lhs
modular-systems.lhs
refined.lhs
report.bib
report.lhs
types-in-eq.lhs