]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 10dbeba) | patch
minor changes to make the library compile after wilmers new exists.
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 15 Feb 2009 14:56:26 +0000 (14:56 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 15 Feb 2009 14:56:26 +0000 (14:56 +0000)
commitfdab21f9db0c8536718001e38213c34595170182
tree76745852db03761953fbb98e1ea7a306758fd678tree | snapshot
parent10dbebadd2931de5b93871a6b4989e07f668e166commit | diff
minor changes to make the library compile after wilmers new exists.
helm/software/matita/library/dama/models/increasing_supremum_stabilizes.ma diff | blob | history
helm/software/matita/library/dama/models/nat_lebesgue.ma diff | blob | history
helm/software/matita/library/dama/property_exhaustivity.ma diff | blob | history
helm/software/matita/library/depends diff | blob | history
helm/software/matita/library/logic/cprop_connectives.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.