]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f7b7b9a) | patch
one file was missing :)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 6 Jan 2014 21:32:23 +0000 (21:32 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 6 Jan 2014 21:32:23 +0000 (21:32 +0000)
commit7a9a72fcbad46e7de5714a6a2eeb8b32e95e1ed5
tree39519cd5bfae5fda996cb2c83c0b1ec2df7c43e1tree | snapshot
parentf7b7b9a4666ec1e50c64a20fb89bd2fc49f3870fcommit | diff
one file was missing :)
matita/matita/contribs/lambdadelta/basic_2/substitution/lleq_alt.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.