]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc532ce) | patch
added another interesting problem for paramodulation
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 5 Apr 2006 12:08:32 +0000 (12:08 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 5 Apr 2006 12:08:32 +0000 (12:08 +0000)
commit87a3d3854f447e67e7671b9035eb768a906aff2a
treeb65ba888c6e40055c4840d49ae11fb1ea0a1a53btree | snapshot
parentbc532ce9c59e1644e02e6c0663855164c2400a40commit | diff
added another interesting problem for paramodulation
matita/tests/group.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.