]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f0b17f) | patch
Keeping Implicit for refinement (instead of transforming them to Metas:
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Jan 2010 07:25:27 +0000 (07:25 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Jan 2010 07:25:27 +0000 (07:25 +0000)
commit1cdd34d7c286ab22d942e2dd1b1420e1c1caeff6
treef7a4dcfb57e45fde7e61268d77a299dc3d4b7ed8tree | snapshot
parent9f0b17f553522373b51fc4761d5a3e1e9dbbad73commit | diff
Keeping Implicit for refinement (instead of transforming them to Metas:
context bug).
helm/software/components/ng_paramodulation/nCicParamod.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.