]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/lambda-delta/Make
freescale porting
[helm.git] / helm / software / lambda-delta / Make
index c9c8ff41aaccbc7190a1f7d03377905b3533bdc6..5730e32e680f050f449c73454c29a6ecd8720740 100644 (file)
@@ -1 +1 @@
-lib automath common basic_rg basic_ag toplevel
+lib automath common basic_ag basic_rg complete_rg toplevel