diff options
| author | Brian Campbell | 2018-09-13 16:44:46 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-09-17 17:03:00 +0100 |
| commit | c6a03fe03e9e19978cceb64562acfffd7ca066ea (patch) | |
| tree | ec639e792ddd803d79ab4297684068393a6ee6a9 /lib/rts.h | |
| parent | 4d410d7c2497d89efe6e756bec035ee5b0e8ba04 (diff) | |
Coq: make generic_neq work on real
Diffstat (limited to 'lib/rts.h')
0 files changed, 0 insertions, 0 deletions