]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f48ba5e) | patch
Bug fixed: a symbol alias Symb(s,0) now subsumes the case Symb(s,n) for each n.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 24 Jul 2006 16:36:26 +0000 (16:36 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 24 Jul 2006 16:36:26 +0000 (16:36 +0000)
commitc7db77feacfdb97e16dd22a22d773e406329c501
tree51fbee36f2dce1dfcfbe56027ff59414357bda14tree | snapshot
parentf48ba5edb4602e663ee746964ec88ff673642388commit | diff
Bug fixed: a symbol alias Symb(s,0) now subsumes the case Symb(s,n) for each n.
helm/software/components/cic_disambiguation/disambiguate.ml diff | blob | history
helm/software/components/cic_disambiguation/disambiguateTypes.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.