remove superflous files, fix permissions

coq-community · Sep 8, 2020 · a643d47 · a643d47
1 parent 92b17db
commit a643d47
Show file tree

Hide file tree

Showing 45 changed files with 0 additions and 1,603 deletions.
diff --git a/CoqMakefile b/CoqMakefile
diff --git a/Makefile b/Makefile
diff --git a/README.md~ b/README.md~
diff --git a/fibm.v b/fibm.v
diff --git a/sset1.v b/sset1.v
diff --git a/sset10.v b/sset10.v
diff --git a/sset11.v b/sset11.v
diff --git a/sset12.v b/sset12.v
diff --git a/sset13a.v b/sset13a.v
diff --git a/sset13b.v b/sset13b.v
diff --git a/sset13c.v b/sset13c.v
diff --git a/sset14.v b/sset14.v
diff --git a/sset15.v b/sset15.v
diff --git a/sset16a.v b/sset16a.v
diff --git a/sset16b.v b/sset16b.v
diff --git a/sset16c.v b/sset16c.v
diff --git a/sset17.v b/sset17.v
diff --git a/sset18.v b/sset18.v
diff --git a/sset19.v b/sset19.v
diff --git a/sset2.v b/sset2.v
diff --git a/sset2_aux.v b/sset2_aux.v
diff --git a/sset3.v b/sset3.v
diff --git a/sset4.v b/sset4.v
diff --git a/sset5.v b/sset5.v
diff --git a/sset6.v b/sset6.v
diff --git a/sset7.v b/sset7.v
diff --git a/sset8.v b/sset8.v
diff --git a/sset9.v b/sset9.v
diff --git a/ssetc.v b/ssetc.v
diff --git a/ssete1.v b/ssete1.v
diff --git a/ssete10.v b/ssete10.v
diff --git a/ssete11.v b/ssete11.v
diff --git a/ssete2.v b/ssete2.v
diff --git a/ssete3.v b/ssete3.v
diff --git a/ssete4.v b/ssete4.v
diff --git a/ssete5.v b/ssete5.v
diff --git a/ssete6.v b/ssete6.v
diff --git a/ssete7.v b/ssete7.v
diff --git a/ssete8.v b/ssete8.v
diff --git a/ssete9.v b/ssete9.v
diff --git a/ssetq1.v b/ssetq1.v
diff --git a/ssetq2.v b/ssetq2.v
diff --git a/ssetr.v b/ssetr.v
diff --git a/ssetz.v b/ssetz.v
diff --git a/stern.v b/stern.v