]> matita.cs.unibo.it Git - helm.git/tree
3e8fea194dd577f5ed28185e8eba5e6a1cd66040
-rw-r--r-- 1520 basic_1.ldw.xml
-rw-r--r-- 970 basic_1_blk.tbl
-rw-r--r-- 6085 basic_1_src.tbl
-rw-r--r-- 572 basic_1_sum.tbl
-rw-r--r-- 1032 ground_1.ldw.xml
-rw-r--r-- 940 ground_1_src.tbl
-rw-r--r-- 565 ground_1_sum.tbl