]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33dc260) | patch
since the outtype is now refined correclty some types can be opmitted
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Nov 2005 17:18:49 +0000 (17:18 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Nov 2005 17:18:49 +0000 (17:18 +0000)
commit901b6be31bc3b0267dfd889373380ec098ee3d3b
treee4e65ace3618ac3b1cf8b06bafb35e463a8c59d7tree | snapshot
parent33dc2608260e6fdf02940a6845f4b0060017279ccommit | diff
since the outtype is now refined correclty some types can be opmitted
helm/matita/library/logic/equality.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.