]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Sep 2009 15:04:02 +0000 (15:04 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Sep 2009 15:04:02 +0000 (15:04 +0000)
commit6fe06927f3293bfce4a01a587abd9913e711da88
tree22bc7756a88934698a6b436662d8f00b3890d81b
parent55ef67743ddc33b1b3f86384909fddadbb7d5103
...
helm/software/matita/tests/ng_coercion_and_hints.ma [new file with mode: 0644]
helm/software/matita/tests/ng_copy.ma [new file with mode: 0644]
helm/software/matita/tests/ng_copy2.ma [new file with mode: 0644]
helm/software/matita/tests/reduction_new.ma [new file with mode: 0755]
helm/software/matita/tests/reduction_new_preamble.ma [new file with mode: 0644]
helm/software/matita/tests/reduction_old.ma [new file with mode: 0755]
helm/software/matita/tests/reduction_old_preamble.ma [new file with mode: 0644]