]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cdd3fc6) | patch
LAMBDA-TYPES: mma's recommitted because inline syntax changed
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 6 May 2009 19:01:31 +0000 (19:01 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 6 May 2009 19:01:31 +0000 (19:01 +0000)
commit89f42c758bfa3e15324d289774792971f282e684
tree87584b5ba696d4a67f9c04ae0acb61bfebc0e5b7tree | snapshot
parentcdd3fc617825db73ce08a0cb700e2a8e115b4fb3commit | diff
LAMBDA-TYPES: mma's recommitted because inline syntax changed
168 files changed:
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/C/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/T/dec.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/T/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/aplus/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/aprem/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/aprem/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/aprem.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/cimp.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/lift1.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/pr3.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/arity/subst0.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/asucc/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/cimp/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/clear/drop.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/clear/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/clear/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/clen/getl.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/cnt/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csuba/arity.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csuba/clear.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csuba/drop.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csuba/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csuba/getl.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csuba/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/arity.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/clear.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/csuba.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/drop.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/drop1.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/getl.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubc/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst0/clear.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst0/drop.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst0/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst0/getl.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst0/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst1/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst1/getl.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubst1/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/clear.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/csuba.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/drop.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/getl.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/pc3.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubt/ty3.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubv/clear.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubv/drop.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubv/getl.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/csubv/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop1/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop1/getl.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/drop1/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ex0/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ex1/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ex2/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/flt/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/fsubst0/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/clear.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/dec.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/drop.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/flt.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/getl.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/getl/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/iso/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/iso/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/leq/asucc.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/leq/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/leq/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/lift/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/lift/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/lift/tlt.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/lift1/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/lift1/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/llt/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/next_plus/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/arity.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/dec.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/iso.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/lift1.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/pr3.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/nf2/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc1/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/dec.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/fsubst0.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/left.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/nf2.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/pc1.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/subst1.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pc3/wcpr0.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr0/dec.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr0/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr0/pr0.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr0/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr0/subst1.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr1/pr1.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr1/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr2/clen.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr2/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr2/pr2.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr2/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr2/subst1.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/iso.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/pr1.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/pr3.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/subst1.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/pr3/wcpr0.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/r/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/s/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sc3/arity.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sc3/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sn3/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sn3/lift1.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sn3/nf2.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sn3/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sty0/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sty0/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sty1/cnt.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/sty1/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst0/dec.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst0/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst0/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst0/subst0.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst0/tlt.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst1/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst1/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/subst1/subst1.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/tlist/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/tlt/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/arity.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/arity_props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/dec.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/fsubst0.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/fwd_nf2.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/nf2.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/pr3.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/pr3_props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/sty0.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/ty3/subst1.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wcpr0/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wcpr0/getl.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wf3/clear.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wf3/fwd.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wf3/getl.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wf3/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Basic-2/wf3/ty3.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/blt/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/ext/arith.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/ext/tactics.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/plist/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Ground-2/types/props.mma diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/Legacy-2/coq/props.mma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.