diff options
Diffstat (limited to 'proofs/signatures/th_base.plf')
| -rw-r--r-- | proofs/signatures/th_base.plf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/proofs/signatures/th_base.plf b/proofs/signatures/th_base.plf index d6b283752..d5182007e 100644 --- a/proofs/signatures/th_base.plf +++ b/proofs/signatures/th_base.plf @@ -5,7 +5,7 @@ ; Theory of Equality and Congruence Closure ; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -; depends on : smt.plf +; Deps: smt.plf ; sorts : |