diff options
author | 2011-12-03 09:44:07 -0500 | |
---|---|---|
committer | 2011-12-03 09:44:07 -0500 | |
commit | 0f14aa67e5446391904c6a4d2ee7b4f00b803158 (patch) | |
tree | 55e7ce9758b2233896d59392e6b86614abab533a /src/coq/Axioms.v | |
parent | fa906ca9e2e31d809221badd35ba1e93eaf3a8e5 (diff) |
Catching integer divisions by zero
Diffstat (limited to 'src/coq/Axioms.v')
0 files changed, 0 insertions, 0 deletions