]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a5da590) | patch
Added injective compose
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Sun, 21 Jun 2009 18:32:22 +0000 (18:32 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Sun, 21 Jun 2009 18:32:22 +0000 (18:32 +0000)
commit9524d3d6475a63868921e8440ac00a9b57c71c08
tree50a75ef0dcacf5d024f9b5ae33447e43eea10372tree | snapshot
parenta5da590cb272fbe6d8e00b781ac40422ae1b816acommit | diff
Added injective compose
helm/software/matita/library/higher_order_defs/functions.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.