added coercions

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

diff --git a/helm/matita/tests/mysql_escaping.ma b/helm/matita/tests/mysql_escaping.ma
new file mode 100644 (file)
index 0000000..798ab27
--- /dev/null
+++ b/helm/matita/tests/mysql_escaping.ma
@@ -0,0 +1,3 @@
+theorem a' : Prop \to Prop.intros.assumption.qed.
+
+