_CoqProject 40 Bytes
Newer Older
1
-Q . ""
Ralf Jung's avatar
Ralf Jung committed
2
-R autosubst/theories Autosubst