]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aec661d) | patch
- lib: one lemma about equality was missing
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Nov 2011 15:48:04 +0000 (15:48 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 4 Nov 2011 15:48:04 +0000 (15:48 +0000)
commitabb05f68e516cc9ad9160a9bca4a2f4158990153
treed827664b76f35864f60eeacf0e62d5d47fa9c67etree | snapshot
parentaec661d51ffa04b4248cdfece772b58780737e3fcommit | diff
- lib: one lemma about equality was missing
- lambda_delta: one inversion lemma closed
matita/matita/contribs/lambda_delta/Basic_2/grammar/term.ma diff | blob | history
matita/matita/contribs/lambda_delta/Basic_2/reducibility/tnf.ma diff | blob | history
matita/matita/lib/basics/logic.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.