]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8a3045a) | patch
Various architectural changes
authordenes <??>
Tue, 28 Jul 2009 17:50:37 +0000 (17:50 +0000)
committerdenes <??>
Tue, 28 Jul 2009 17:50:37 +0000 (17:50 +0000)
commit38c54dd8e2234836d5f3e8011c478daf7d59fa25
treea18d137dd12aaf17b6528d4c7dc84894a78214f4tree | snapshot
parent8a3045a162622e8a76ffdb267309faff496ee7eccommit | diff
Various architectural changes
helm/software/components/ng_paramodulation/nCicBlob.ml diff | blob | history
helm/software/components/ng_paramodulation/nCicBlob.mli diff | blob | history
helm/software/components/ng_paramodulation/nCicParamod.ml diff | blob | history
helm/software/components/ng_paramodulation/nCicProof.ml diff | blob | history
helm/software/components/ng_paramodulation/orderings.mli diff | blob | history
helm/software/components/ng_paramodulation/paramod.ml diff | blob | history
helm/software/components/ng_paramodulation/paramod.mli diff | blob | history
helm/software/components/ng_paramodulation/stats.ml diff | blob | history
helm/software/components/ng_paramodulation/superposition.ml diff | blob | history
helm/software/components/ng_paramodulation/terms.ml diff | blob | history
helm/software/components/ng_paramodulation/terms.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.