]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 09af7a9) | patch
one file was missing
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 21 Apr 2013 15:52:11 +0000 (15:52 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 21 Apr 2013 15:52:11 +0000 (15:52 +0000)
commitd1cf044d3f19bc9397872cc827cc77097fcc5b25
tree5852940967d54b8d906c3c58f64402f4d342bb35tree | snapshot
parent09af7a9751464291ec3f32fb80c92fe1accdbf88commit | diff
one file was missing
matita/matita/contribs/lambdadelta/basic_2/reduction/chnf.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.