diff options
author | 2018-06-16 00:39:49 -0400 | |
---|---|---|
committer | 2018-06-16 00:39:49 -0400 | |
commit | 67f49aed5ed1c47f5523c2849c9b9a7bdc1e0f9a (patch) | |
tree | 2a83f910137b13dd47012f85467427c51c1c4fa6 /_CoqProject | |
parent | ad263804d15f22001056a57350d68e4df579a54b (diff) |
Reserve a notatoin for ;;
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions