]> matita.cs.unibo.it Git - helm.git/commit
- confluence of parallel substitution (tps) closed! (a bug in an
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 23 Aug 2011 17:07:23 +0000 (17:07 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 23 Aug 2011 17:07:23 +0000 (17:07 +0000)
commit093f9476ddf96034b89e6ad443f74bcc6c067912
tree42e712e18bb6c1d9da92c1d517fe54ddf989db79
parenteaa8cd77b9060af69694327d609b18473b075f4d
- confluence of parallel substitution (tps) closed! (a bug in an
inversion lemma was in the way)
- some refactoring
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps.ma
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps_lift.ma
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps_split.ma [deleted file]
matita/matita/contribs/lambda-delta/Basic-2/substitution/tps_tps.ma
matita/matita/contribs/lambda-delta/Ground-2/xoa.conf.xml
matita/matita/contribs/lambda-delta/Ground-2/xoa.ma
matita/matita/contribs/lambda-delta/Ground-2/xoa_notation.ma