]> matita.cs.unibo.it Git - helm.git/commit
set -> type
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 10 Apr 2007 14:32:28 +0000 (14:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 10 Apr 2007 14:32:28 +0000 (14:32 +0000)
commitc5608d2704215a7004d23f4801e19df3939f0285
tree91506b8011959cf67ba16ed795002620382546ca
parentcca6da6f018ff329b9c695093144f8bc98137bc9
set -> type
helm/software/matita/library/Fsub/defn.ma
helm/software/matita/library/Fsub/part1a.ma
helm/software/matita/library/Fsub/util.ma
helm/software/matita/library/list/sort.ma
helm/software/matita/tests/discriminate.ma