]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/matita/contribs/lambdadelta/basic_2/web/basic_2_src.tbl
name "basic_2_src"
table {
name "basic_2_src"
table {
[ { "component" * } {
[ { "plane" * } {
[ "files" * ]
[ { "component" * } {
[ { "plane" * } {
[ "files" * ]