]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f37332) | patch
now we use the version of lazy union for local environments in which
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 8 Jun 2014 18:34:23 +0000 (18:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 8 Jun 2014 18:34:23 +0000 (18:34 +0000)
commitc88fe30a6900da730a684d7df6522407a388cd67
tree8c14c5f981b31b07092bd25138d261e96d378327tree | snapshot
parent3f37332f773685e992ae666cada75d5efaecd4bbcommit | diff
now we use the version of lazy union for local environments in which
the arguments have the same length. it should have better invariants
matita/matita/contribs/lambdadelta/basic_2/multiple/llor.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/multiple/llor_etc.ma diff | blob | history
matita/matita/contribs/lambdadelta/basic_2/multiple/llor_ldrop.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.