]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2c1a95) | patch
- we added nat-labeled reflexive and transitive closure (for use in lambdadelta)
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 9 Aug 2013 10:59:49 +0000 (10:59 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Fri, 9 Aug 2013 10:59:49 +0000 (10:59 +0000)
commit774c5e125eb44693a5a760226713067c41baf09f
treed4a44a0d08b36fd43d12e180f541fb208a0ba0a3tree | snapshot
parentb2c1a95861424ba23e491e2b258f7413efbc1fbacommit | diff
- we added nat-labeled reflexive and transitive closure (for use in lambdadelta)
- stylistic improvements in list-labeled reflexive and transitive closure
matita/matita/lib/arithmetics/lstar.ma [new file with mode: 0644] blob
matita/matita/lib/basics/lists/lstar.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.