]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4d08e81) | patch
Patches to generate ?1 : ?2 : Type in place of ?1 : Type removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Apr 2004 12:38:16 +0000 (12:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 22 Apr 2004 12:38:16 +0000 (12:38 +0000)
commit9b3e404f92b716d704e053c7d3011b09ddf55d24
treec588e7376bf77988c05a34ac268d101fb4830f4ftree | snapshot
parent4d08e8112264c289fdcc978ee81d9352e972edcfcommit | diff
Patches to generate ?1 : ?2 : Type in place of ?1 : Type removed.
It is interesting to understand whether it is still necessary (after
the CicUnification bug fix) or not.
helm/ocaml/tactics/primitiveTactics.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.