Marking the proof signature files as non-executable.

diff --git a/proofs/signatures/ex-mem.plf b/proofs/signatures/ex-mem.plf
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/proofs/signatures/example-arrays.plf b/proofs/signatures/example-arrays.plf
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/proofs/signatures/example-quant.plf b/proofs/signatures/example-quant.plf
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/proofs/signatures/example.plf b/proofs/signatures/example.plf
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/proofs/signatures/sat.plf b/proofs/signatures/sat.plf
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/proofs/signatures/smt.plf b/proofs/signatures/smt.plf
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/proofs/signatures/th_arrays.plf b/proofs/signatures/th_arrays.plf
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/proofs/signatures/th_base.plf b/proofs/signatures/th_base.plf
old mode 100755 (executable)
new mode 100644 (file)

diff --git a/proofs/signatures/th_quant.plf b/proofs/signatures/th_quant.plf
old mode 100755 (executable)
new mode 100644 (file)