Require.v « success « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/success/Require.v

blob: 654808fc11eff30ea5af32cd7ded5ff8ba218c88 (plain)

1
2
3

Require Coq.Arith.Plus.
Read Module Coq.Arith.Minus.
Locate Library Coq.Arith.Minus.