]> matita.cs.unibo.it Git - helm.git/commit
reordering abstract computation properties and saturation conditions
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 27 Apr 2014 17:34:22 +0000 (17:34 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Sun, 27 Apr 2014 17:34:22 +0000 (17:34 +0000)
commit9ed13b93cd1d7d75d65f1f063b6b4bf27d863f72
tree88799311904004e373683e4aa81e82e21377209f
parent42da17037d96c9c8e95a21ea71aa70522916939a
reordering abstract computation properties and saturation conditions
matita/matita/contribs/lambdadelta/basic_2/computation/acp.ma
matita/matita/contribs/lambdadelta/basic_2/computation/acp_aaa.ma
matita/matita/contribs/lambdadelta/basic_2/computation/acp_cr.ma
matita/matita/contribs/lambdadelta/basic_2/computation/csx_lift.ma
matita/matita/contribs/lambdadelta/basic_2/computation/csx_tstc_vector.ma
matita/matita/contribs/lambdadelta/basic_2/computation/lsubc_ldrop.ma