Uncompiled files

[fakusb]

These files are in the library, but not compiled by default:

./theories/FOLP/Reductions/BPCP_to_FOLFS.v
./theories/HOU/second_order/dowek/dowek.v
./theories/L/Computability/AD.v
./theories/L/Computability/DA.v
./theories/L/Computability/MoreAcc.v
./theories/L/Reductions/FOL_computable.v
./theories/L/Reductions/MPCP_PCP_computable.v
./theories/L/Reductions/PCP_CFG_computable.v
./theories/L/Reductions/SRH_SR_computable.v
./theories/L/Reductions/SR_MPCP_computable.v
./theories/MinskyMachines/MM/mm_comp_old.v
./theories/Shared/ConcatFacts.v
./theories/Shared/filter.v
./theories/Shared/MoreListFacts.v
./theories/test.v
./theories/TM/Reductions/HaltSBTM_to_HaltSBTMuniq.v
./theories/TRAKHTENBROT/summary.v

We should probably remove some/all of them.

[Deleted user]

TM/Extract/Extract.v
TM/Single/Outline.v
TM/Code/SumTM.v
TM/Code/PosTM.v

Removed in #51.

[fakusb]

I updated the above list with all .v files currently there, but not compiled.

[yforster]

Can you send me your commands to find the files? I think you might have ran the check on #72 instead of coq-8.12

[fakusb]

I actualy ran it ontop of #72 , I'll post the script here in a few minutes.

[fakusb]

https://gist.github.com/fakusb/0e1c6256fd8344a65d7cf995dfdca162

[yforster]

I filed PR #90 to fix this.