X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fexamples%2Fexp_math%2Fpreamble.hln;fp=helm%2Fsoftware%2Flambda-delta%2Fexamples%2Fexp_math%2Fpreamble.hln;h=0000000000000000000000000000000000000000;hb=95872555aaa040a22ad2d93cb1278f79e20da70c;hp=0c25d4c57f8fdbf3360f2706d35a39178ab34f30;hpb=4025c3f5b36025380dcad84bb7a97045d08652f6;p=helm.git

diff --git a/helm/software/lambda-delta/examples/exp_math/preamble.hln b/helm/software/lambda-delta/examples/exp_math/preamble.hln
deleted file mode 100644
index 0c25d4c57..000000000
--- a/helm/software/lambda-delta/examples/exp_math/preamble.hln
+++ /dev/null
@@ -1,10 +0,0 @@
-\* Systematic Explicit Mathematics 
- * [1] F. Feferman: A language and axioms for explicit mathematics.
- *     Lecture Notes in Mathematics, 450. Springer (1975). pp 87-139. 
- *\
-
-\* Development started: 2010 Feb 20 *\
-
-\graph Z3
-
-\sorts Prop, Obj, Term