]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b41c4f4) | patch
CC2FO_K_cube: soundness of the K interpretation stated
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 1 Jun 2011 14:18:46 +0000 (14:18 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 1 Jun 2011 14:18:46 +0000 (14:18 +0000)
commite28e86e04bb5b8b98f5e2f86555347a280c49983
tree9c6ac6326eff27c463259b432bb9b18d450e005ctree | snapshot
parentb41c4f4faec7b4b45bbaed3c0fcfb7ed9570ae59commit | diff
CC2FO_K_cube: soundness of the K interpretation stated
matita/matita/lib/lambda/CC2FO_K.ma diff | blob | history
matita/matita/lib/lambda/CC2FO_K_cube.ma [new file with mode: 0644] blob
matita/matita/lib/lambda/lambda_notation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.