]> matita.cs.unibo.it Git - helm.git/commit
- some ignores
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 15 Mar 2011 12:03:55 +0000 (12:03 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Tue, 15 Mar 2011 12:03:55 +0000 (12:03 +0000)
commitbfafdf7d8313ddd24c06d8ce3bba874f780403a9
tree93bed598ce76e67889b12a93a651a0f8bc81febf
parent8d0c0ab4df0d236e3b57e3b3feccae5fed2f6ad8
- some ignores
- new service lemmas
matita/matita/lib/lambda/ext.ma
matita/matita/lib/lambda/rc_eval.ma
matita/matita/lib/lambda/rc_hsat.ma
matita/matita/lib/lambda/rc_sat.ma