]> matita.cs.unibo.it Git - helm.git/commit
few bits for coq comparison of patterns
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 30 Jan 2006 09:25:36 +0000 (09:25 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 30 Jan 2006 09:25:36 +0000 (09:25 +0000)
commit7099c10f54741e2ecb2f69ef33490ac92b513c4d
tree3ad4fdc04e88d593a60a14e7f1e1ba7d81f9b6ca
parent30bf48113bb0ea53f5300b3a6a2d129a9f4d73d9
few bits for coq comparison of patterns
helm/papers/matita/matita2.tex