]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 894b08c) | patch
added
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 22 Jul 2006 17:17:47 +0000 (17:17 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 22 Jul 2006 17:17:47 +0000 (17:17 +0000)
commit7490e8f0ba68cce14a17e70abb416e3263e041f6
tree2c2fd381f014d8c7a3146eca863fff0ef0efd809tree | snapshot
parent894b08ca7d14aa7e31c35f3acb3903a1c3472a27commit | diff
added
matita/matitaprover.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.