]> 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)
commitccf5bef29f42897a28ee7cc797c3d5698adfcb1d
treebc44591478a84d174135053acf9805dcea21a8d3
parentef5ae17d3b2dc045ac27bd2e59c89ffc85b4bd9c
set -> type
matita/library/Fsub/defn.ma
matita/library/Fsub/part1a.ma
matita/library/Fsub/util.ma
matita/library/list/sort.ma
matita/tests/discriminate.ma