X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fexamples%2Fexp_math%2FMake;h=138243141f6a5e599f978b44cd1168055fbb9a65;hb=f61ffe97078aab1e47ee1b7f212e707b0412e77e;hp=f1f020178d9de471fc3567395fdde2a40c4bb490;hpb=689118326fbe47231865b26c66ae89144459be6a;p=helm.git

diff --git a/helm/software/lambda-delta/examples/exp_math/Make b/helm/software/lambda-delta/examples/exp_math/Make
index f1f020178..138243141 100644
--- a/helm/software/lambda-delta/examples/exp_math/Make
+++ b/helm/software/lambda-delta/examples/exp_math/Make
@@ -1 +1 @@
-L.hln
+preamble.hln L.hln T0.hln