@@("basic_2" "core") + "-" +
@@("apps_2" "applications") ^ ")"
* ]
- [ @@("specification#v1" "version 1") * ]
+ [ @@("specification#v1" "version 1")
+ "(" ^ @@("static/matita/lambdadelta/" "static HELM directory") ^ ")"
+ * ]
}
class "green" {
[ @@"implementation" * ]
- [ @@("implementation#lddl" "library") * ]
+ [ @@("implementation#lddl" "library")
+ "(" ^ @@("static/lddl/" "static LDDL directory") ^ ")"
+ * ]
[ @@("implementation#helena" "helena") * ]
}
]