added more material to the attribute section; merged the recipe about named theorems into the main body; added a solution to an exercise in the conversion section

theory Sat
imports Main
begin


section {* SAT Solver *}



end