]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b4d7d16) | patch
- functional properties of lift closed!
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 18 Jul 2011 19:17:42 +0000 (19:17 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 18 Jul 2011 19:17:42 +0000 (19:17 +0000)
commit6e150e6a7760f2670d3537a20e16d251e71d7506
tree5e13e3f8f5119484350063254ac67d3c78a4268atree | snapshot
parentb4d7d16ff7635d9430e92ba86eaf513a9ad9ff8ecommit | diff
- functional properties of lift closed!
- the proof of a main property of lift was lost due to a segmentation
fault of auto :-((
matita/matita/lib/lambda-delta/substitution/lift_fun.ma diff | blob | history
matita/matita/lib/lambda-delta/substitution/lift_main.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.