]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9904500) | patch
avoid fixing non-recursive terms
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 Jun 2009 21:57:36 +0000 (21:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 Jun 2009 21:57:36 +0000 (21:57 +0000)
commit8a119afd68f41a644904de45357b9b4ce441d7ee
tree06ccc5063adc7e6364561aee73c4562c2adf34c5tree | snapshot
parent990450048b555a5d850d3f43727c6d830713e3aacommit | diff
avoid fixing non-recursive terms
helm/software/components/grafite_engine/grafiteEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.