-
Notifications
You must be signed in to change notification settings - Fork 7
/
_CoqProject
51 lines (49 loc) · 1.29 KB
/
_CoqProject
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
-Q theories gaia
-arg -w -arg -notation-overridden
-arg -w -arg -notation-incompatible-format
-arg -w -arg -ambiguous-paths
-arg -w -arg -deprecated-hint-without-locality
-arg -w -arg -deprecated-ident-entry
-arg -w -arg -deprecated-hint-rewrite-without-locality
theories/sets/sset1.v
theories/sets/sset2_aux.v
theories/sets/sset2.v
theories/sets/sset3.v
theories/sets/sset4.v
theories/sets/sset5.v
theories/sets/sset6.v
theories/sets/sset7.v
theories/sets/sset8.v
theories/sets/sset9.v
theories/sets/sset10.v
theories/sets/sset18.v
theories/sets/sset19.v
theories/sets/ssete1.v
theories/schutte/ssete9.v
theories/ordinals/sset11.v
theories/ordinals/sset12.v
theories/ordinals/sset13a.v
theories/ordinals/sset13b.v
theories/ordinals/sset13c.v
theories/ordinals/sset14.v
theories/ordinals/sset15.v
theories/ordinals/sset16a.v
theories/ordinals/sset16b.v
theories/ordinals/sset16c.v
theories/ordinals/sset17.v
theories/ordinals/ssete10.v
theories/ordinals/ssete2.v
theories/ordinals/ssete3.v
theories/ordinals/ssete4.v
theories/ordinals/ssete5.v
theories/numbers/ssetc.v
theories/numbers/ssetr.v
theories/numbers/ssetz.v
theories/numbers/ssetq1.v
theories/numbers/ssetq2.v
theories/numbers/ssete6.v
theories/numbers/ssete7.v
theories/numbers/ssete8.v
theories/numbers/ssete11.v
theories/stern/fibm.v
theories/stern/stern.v