Skip to content
Snippets Groups Projects
Commit cc73a786 authored by Chris Sangwin's avatar Chris Sangwin
Browse files

Fix test case in the proof library.

parent 444b291e
Branches master
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
stack/maxima/contrib/prooflib.mac
+ 1
− 1
View file @ cc73a786
...@@ -171,7 +171,7 @@ s_test_case(proof_alternatives(proof(A,B,C,D)), [proof(A,B,C,D)]); ...@@ -171,7 +171,7 @@ s_test_case(proof_alternatives(proof(A,B,C,D)), [proof(A,B,C,D)]);
s_test_case(proof_alternatives(proof_c(A,B)), [proof_c(A,B),proof_c(B,A)]); s_test_case(proof_alternatives(proof_c(A,B)), [proof_c(A,B),proof_c(B,A)]);
s_test_case(proof_alternatives(proof_iff(A,B)), [proof_iff(A,B),proof_iff(B,A)]); s_test_case(proof_alternatives(proof_iff(A,B)), [proof_iff(A,B),proof_iff(B,A)]);
s_test_case(proof_alternatives(proof_ind(A,B,C,D)), [proof_ind(A,B,C,D),proof_ind(A,C,B,D)]); s_test_case(proof_alternatives(proof_ind(A,B,C,D)), [proof_ind(A,B,C,D),proof_ind(A,C,B,D)]);
s_test_case(proof_alternatives(proof_cases(A,B,C)), [proof_iff(A,B,C),proof_iff(A,C,B)]); s_test_case(proof_alternatives(proof_cases(A,B,C)), [proof_cases(A,B,C),proof_cases(A,C,B)]);
/******************************************************************/ /******************************************************************/
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment