diff options
author | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-09-28 17:49:41 +0200 |
---|---|---|
committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2016-09-28 17:49:41 +0200 |
commit | ed53e048fc5e4b995c1e0c42bf1ba1611c331cce (patch) | |
tree | de30a57d59a332cf895724ad6a28d68601f6c51c /toplevel/coqtop.mli | |
parent | 1c3bc5642fe29855cc4d72aa677ff7ffd4787271 (diff) |
Ring_theory: avoid overriding a few notations
Diffstat (limited to 'toplevel/coqtop.mli')
0 files changed, 0 insertions, 0 deletions