diff options
Diffstat (limited to 'proofs/signatures/th_arrays.plf')
-rwxr-xr-x | proofs/signatures/th_arrays.plf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/signatures/th_arrays.plf b/proofs/signatures/th_arrays.plf index 0c6b16048..8334f51de 100755 --- a/proofs/signatures/th_arrays.plf +++ b/proofs/signatures/th_arrays.plf @@ -3,7 +3,7 @@ ; Theory of Arrays ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -; depdends on : th_base.plf +; depends on : th_base.plf ; sorts |