]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ce3c2e0) | patch
more fix removed from types
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 11:10:12 +0000 (11:10 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 11 Apr 2008 11:10:12 +0000 (11:10 +0000)
commit347b0f483245bd0295f95f99742e23484c331312
treec6339581d75f127f57eb466e552d3a5918598ef6tree | snapshot
parentce3c2e0c887e0f8303ae9c15e22bc7e29bb89462commit | diff
more fix removed from types
helm/software/matita/library/technicalities/setoids.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.