equal
deleted
inserted
replaced
15 apply (rule conjI) |
15 apply (rule conjI) |
16 nitpick [expect = genuine] 1 |
16 nitpick [expect = genuine] 1 |
17 nitpick [expect = genuine] 2 |
17 nitpick [expect = genuine] 2 |
18 nitpick [expect = genuine] |
18 nitpick [expect = genuine] |
19 nitpick [card = 5, expect = genuine] |
19 nitpick [card = 5, expect = genuine] |
20 nitpick [sat_solver = MiniSat, expect = genuine] 2 |
20 nitpick [sat_solver = SAT4J, expect = genuine] 2 |
21 oops |
21 oops |
22 |
22 |
23 subsection {* Examples and Test Cases *} |
23 subsection {* Examples and Test Cases *} |
24 |
24 |
25 subsubsection {* Propositional logic *} |
25 subsubsection {* Propositional logic *} |