commit by user utente2

[helm.git] / weblib / test.ma

diff --git a/weblib/test.ma b/weblib/test.ma
index 362fb6d579c872ce9de48e3ce114069851ce5c47..c8b89a5daf2273d6fdc13c42d740c194bb73522f 100644 (file)
--- a/weblib/test.ma
+++ b/weblib/test.ma
@@ -1,3 +1,5 @@
 (* prova *)
 
+(* prova 2 *)
+
 axiom pippo : Prop.
\ No newline at end of file