refactoring ...

[helm.git] / helm / software / lambda-delta / src / text / prova.hln

diff --git a/helm/software/lambda-delta/src/text/prova.hln b/helm/software/lambda-delta/src/text/prova.hln
deleted file mode 100644 (file)
index a782fda..0000000
--- a/helm/software/lambda-delta/src/text/prova.hln
+++ /dev/null
@@ -1,11 +0,0 @@
-\open pippo
-
-\global a : *Set
-
-\global b : *Prop
-
-\global f = [x:*Set].[y:*Prop].x
-
-\global "commento\"" c = f(a,b) : *Set
-
-\close