From ec41f8fbfbdf497d5f7c42db9ddf31ea04e1b347 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 14 Oct 2002 11:45:32 +0000
Subject: [PATCH] A tough test for rewrite.

---
 helm/gTopLevel/esempi/rewrite.cic | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 helm/gTopLevel/esempi/rewrite.cic

diff --git a/helm/gTopLevel/esempi/rewrite.cic b/helm/gTopLevel/esempi/rewrite.cic
new file mode 100644
index 000000000..ff2b92e52
--- /dev/null
+++ b/helm/gTopLevel/esempi/rewrite.cic
@@ -0,0 +1,5 @@
+!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
-- 
2.39.2