]> matita.cs.unibo.it Git - helm.git/tree
7ad2c127670fd59438f2cc70e3acfc7b1aecb36b
-rw-r--r-- 2041 alphabet.ma
-rw-r--r-- 13173 compare.ma
-rw-r--r-- 10118 copy.ma
-rw-r--r-- 1124 defs.ma
-rw-r--r-- 24084 match.ma
-rw-r--r-- 11870 moves.ma
-rw-r--r-- 13864 moves_2.ma
-rw-r--r-- 2823 par_test.ma
-rw-r--r-- 8312 unistep_aux.ma