[helm.git] / helm / matita / tests / mysql_escaping.ma

set "baseuri" "cic:/matita/tests/".

theorem a' : Prop \to Prop.intros.assumption.qed.