]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2041f4f) | patch
Added symbolic link to clauses
authordenes <??>
Wed, 29 Jul 2009 16:17:45 +0000 (16:17 +0000)
committerdenes <??>
Wed, 29 Jul 2009 16:17:45 +0000 (16:17 +0000)
commit7ab04e91c35dafe2b09212059d5cee22347fdce6
tree71b812e7290baeb3b043305c9d600d6e60e9e4e1tree | snapshot
parent2041f4fefe300f77338f6aea598f025f84db1bbccommit | diff
Added symbolic link to clauses
helm/software/components/binaries/matitaprover/clauses.ml [new symlink] blob
helm/software/components/binaries/matitaprover/clauses.mli [new symlink] blob
Unnamed repository; edit this file 'description' to name the repository.