- notation change for tdeq and related notions

[helm.git] / matita / matita / contribs / lambdadelta / restore.sh

diff --git a/matita/matita/contribs/lambdadelta/restore.sh b/matita/matita/contribs/lambdadelta/restore.sh
new file mode 100644 (file)
index 0000000..af7b5e0
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/restore.sh
@@ -0,0 +1,8 @@
+#!/bin/sh
+for MA in `find -name "*.ma"`; do
+   if [ -s ${MA}.old ];
+      then echo ${MA}; mv -f ${MA}.old ${MA};
+   fi
+done
+
+unset MA