]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f75be90) | patch
- two discrimination lemmas
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Nov 2011 11:59:52 +0000 (11:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Nov 2011 11:59:52 +0000 (11:59 +0000)
commitaec661d51ffa04b4248cdfece772b58780737e3f
tree935366b5f6b6d576fa64c98925bd98cf8c739232tree | snapshot
parentf75be90562ddd964ef7ed43b956eb908f3133e3acommit | diff
- two discrimination lemmas
- some decidability axioms (proof postponed)
matita/matita/contribs/lambda_delta/Basic_2/Basic_1.txt diff | blob | history
matita/matita/contribs/lambda_delta/Basic_2/grammar/item.ma diff | blob | history
matita/matita/contribs/lambda_delta/Basic_2/grammar/term.ma diff | blob | history
matita/matita/contribs/lambda_delta/Ground_2/arith.ma diff | blob | history
matita/matita/contribs/lambda_delta/Ground_2/star.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.