From 89ba584531115b7f6d47088d7614368ea05ab9d8 Mon Sep 17 00:00:00 2001 From: Guy Date: Wed, 1 Jun 2016 17:33:41 -0700 Subject: Merging proof branch --- proofs/signatures/th_arrays.plf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'proofs/signatures/th_arrays.plf') diff --git a/proofs/signatures/th_arrays.plf b/proofs/signatures/th_arrays.plf index 5ed3d2f6f..b54a4ed5b 100755 --- a/proofs/signatures/th_arrays.plf +++ b/proofs/signatures/th_arrays.plf @@ -60,4 +60,4 @@ (! u1 (! k (term s1) (! u2 (th_holds (or (= _ t1 t2) (not (= _ (apply _ _ (apply _ _ (read s1 s2) t1) k) (apply _ _ (apply _ _ (read s1 s2) t2) k))))) (holds cln))) - (holds cln))))))) + (holds cln))))))) \ No newline at end of file -- cgit v1.2.3