+ [ @@("specification#v1" "version 1")
+ "(" ^ @@("ground_1" "background") + "-" +
+ @@("basic_1" "core") ^ ")"
+ "(" ^ @@("static/matita/lambdadelta/" "static HELM directory") ^ ")"
+ * ]
+ }
+ class "orange" {
+ [ @@"documentation" * ]
+ [ @@("documentation#v2" "version 2") * ]
+ [ @@("documentation#v1" "version 1") * ]