]> matita.cs.unibo.it Git - helm.git/commit
we started the implementation of higher order saturated sets
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 2 Mar 2011 21:02:38 +0000 (21:02 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 2 Mar 2011 21:02:38 +0000 (21:02 +0000)
commitadc2a5bba9b4b907fdc1eb8ad443c97e3fdc7bd0
tree4ebeb1de86e065ec23a495af6debbd63154498a8
parent060f4ff9bcece134dd66757ee7f8c571bdbc8cab
we started the implementation of higher order saturated sets
matita/matita/lib/lambda/ext.ma
matita/matita/lib/lambda/lambda_notation.ma
matita/matita/lib/lambda/rc_hsat.ma [new file with mode: 0644]