[isabelle] Fwd: [Isabelle] Failed to parse prop



Hi sir,

theory Scratch
imports Pure
begin
lemma shows "[P â Q; P â Q] â Q â P"
apply (auto)
done
lemma shows "A â (B â A) â B â (A â B"
apply (auto)
done
end

-- 
Regards,
Martin



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.