Dear all: I'm trying your tutorial material on SAT solver (page 196). I meet a type error that I cannot solve. Could you please do me a hand? see line 64 in the attachment. The error says that Isabelle cannot unify the same type . regards!
Description: Binary data