]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3789c6c) | patch
ordered_sets are built with excedence
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Nov 2007 16:41:30 +0000 (16:41 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 12 Nov 2007 16:41:30 +0000 (16:41 +0000)
commitabc2a8f11642390d930fbe81333f2f2b7467809d
treec797e0026e2714f864d4292cf8c1c34b13d85940tree | snapshot
parent3789c6cc5ad8d155f9907edb60ec2f953fb7f682commit | diff
ordered_sets are built with excedence
matita/dama/ordered_sets.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.