File: _CoqProject

package info (click to toggle)
coq-deriving 0.2.2-2
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 256 kB
  • sloc: ml: 28; makefile: 22
file content (20 lines) | stat: -rw-r--r-- 457 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
-Q theories deriving

-arg -w -arg -notation-overridden
-arg -w -arg -non-reversible-notation
-arg -w -arg -ssr-search-moved
-arg -w -arg -redundant-canonical-projection
-arg -w -arg -projection-no-head-constant

theories/base.v
theories/ind.v
theories/tactics.v
theories/infer.v
theories/instances.v
theories/compat.v
theories/deriving.v

theories/instances/eqtype.v
theories/instances/tree_of_ind.v
theories/instances/fintype.v
theories/instances/order.v