]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec401f5) | patch
basics: some additions
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 30 May 2011 18:34:47 +0000 (18:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 30 May 2011 18:34:47 +0000 (18:34 +0000)
commita6602de6db0993a67c5b23aedb3c8fe1d484855f
tree270843a904063c29d137347fad0f59e6848189c0tree | snapshot
parentec401f51799a051fe8935b36d589fca5a4728d81commit | diff
basics: some additions
lambda: some additions + split of lift and subst
matita/matita/lib/basics/list.ma diff | blob | history
matita/matita/lib/basics/logic.ma diff | blob | history
matita/matita/lib/lambda/degree.ma diff | blob | history
matita/matita/lib/lambda/lambda_notation.ma diff | blob | history
matita/matita/lib/lambda/lift.ma [new file with mode: 0644] blob
matita/matita/lib/lambda/subst.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.