equal
deleted
inserted
replaced
11 imports Main Coinductive_List RealDef |
11 imports Main Coinductive_List RealDef |
12 begin |
12 begin |
13 |
13 |
14 chapter {* 3. First Steps *} |
14 chapter {* 3. First Steps *} |
15 |
15 |
16 nitpick_params [sat_solver = MiniSatJNI, max_threads = 1] |
16 nitpick_params [sat_solver = MiniSat_JNI, max_threads = 1] |
17 |
17 |
18 subsection {* 3.1. Propositional Logic *} |
18 subsection {* 3.1. Propositional Logic *} |
19 |
19 |
20 lemma "P \<longleftrightarrow> Q" |
20 lemma "P \<longleftrightarrow> Q" |
21 nitpick |
21 nitpick |