refactoring ...

[helm.git] / helm / software / lambda-delta / examples / exp_math / preamble.hln

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 (file)
index 0c25d4c..0000000
--- 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