]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/examples/exp_math/Make
...
[helm.git] / helm / software / lambda-delta / examples / exp_math / Make
index f1f020178d9de471fc3567395fdde2a40c4bb490..138243141f6a5e599f978b44cd1168055fbb9a65 100644 (file)
@@ -1 +1 @@
-L.hln
+preamble.hln L.hln T0.hln