This commit was manufactured by cvs2svn to create branch

[helm.git] / helm / gTopLevel / esempi / rewrite.cic

diff --git a/helm/gTopLevel/esempi/rewrite.cic b/helm/gTopLevel/esempi/rewrite.cic
deleted file mode 100644 (file)
index ff2b92e..0000000
--- a/helm/gTopLevel/esempi/rewrite.cic
+++ /dev/null
@@ -1,5 +0,0 @@
-!v:nat.(eq nat -> nat -> nat \x:nat.\y:nat.(plus y v) \x:nat.\y:nat.O)
-
-Fare cut di:
- (eq nat -> nat \w:nat.(plus w v) \w:nat.(plus (plus w w) v))
-e poi riscriverlo