]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 79fdc0d) | patch
- new tactic applyP for use in the *P*rocedural script reconstruction
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 2 Jul 2008 17:33:03 +0000 (17:33 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Wed, 2 Jul 2008 17:33:03 +0000 (17:33 +0000)
commit3b8d99d5fdb79a5d979a8e200a4a4307fe362009
tree6f3c01cbe90dab9dc63661cfe6b1048568086c37tree | snapshot
parent79fdc0d44a2c8a3b1d2649b25fd7181c2ef49209commit | diff
- new tactic applyP for use in the *P*rocedural script reconstruction
- LAMBDA-TYPES: the mma files from the LambdaDelta section
231 files changed:
helm/software/components/acic_procedural/proceduralTypes.ml diff | blob | history
helm/software/components/grafite/grafiteAst.ml diff | blob | history
helm/software/components/grafite/grafiteAstPp.ml diff | blob | history
helm/software/components/grafite_engine/grafiteEngine.ml diff | blob | history
helm/software/components/grafite_parser/grafiteDisambiguate.ml diff | blob | history
helm/software/components/grafite_parser/grafiteParser.ml diff | blob | history
helm/software/components/tactics/primitiveTactics.ml diff | blob | history
helm/software/components/tactics/primitiveTactics.mli diff | blob | history
helm/software/components/tactics/tactics.ml diff | blob | history
helm/software/components/tactics/tactics.mli diff | blob | history
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/.depend [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/A/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/C/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/C/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/G/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/T/dec.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/T/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/T/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/aplus/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/aplus/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/app/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/aprem/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/aprem/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/aprem/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/arity/aprem.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/arity/cimp.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/arity/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/arity/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/arity/lift1.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/arity/pr3.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/arity/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/arity/subst0.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/asucc/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/asucc/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/cimp/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/cimp/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/clear/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/clear/drop.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/clear/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/clear/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/clen/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/clen/getl.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/cnt/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/cnt/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csuba/arity.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csuba/clear.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csuba/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csuba/drop.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csuba/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csuba/getl.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csuba/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubc/arity.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubc/clear.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubc/csuba.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubc/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubc/drop.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubc/drop1.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubc/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubc/getl.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubc/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubst0/clear.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubst0/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubst0/drop.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubst0/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubst0/getl.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubst0/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubst1/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubst1/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubst1/getl.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubst1/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubt/clear.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubt/csuba.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubt/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubt/drop.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubt/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubt/getl.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubt/pc3.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubt/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubt/ty3.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubv/clear.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubv/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubv/drop.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubv/getl.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/csubv/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/depends [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/drop/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/drop/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/drop/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/drop1/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/drop1/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/drop1/getl.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/drop1/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ex0/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ex0/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ex1/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ex1/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ex2/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ex2/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/flt/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/flt/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/fsubst0/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/fsubst0/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/getl/clear.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/getl/dec.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/getl/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/getl/drop.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/getl/flt.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/getl/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/getl/getl.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/getl/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/iso/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/iso/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/iso/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/leq/asucc.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/leq/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/leq/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/leq/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/lift/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/lift/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/lift/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/lift/tlt.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/lift1/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/lift1/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/lift1/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/llt/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/llt/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/next_plus/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/next_plus/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/nf2/arity.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/nf2/dec.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/nf2/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/nf2/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/nf2/iso.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/nf2/lift1.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/nf2/pr3.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/nf2/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pc1/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pc1/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pc3/dec.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pc3/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pc3/fsubst0.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pc3/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pc3/left.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pc3/nf2.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pc3/pc1.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pc3/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pc3/subst1.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pc3/wcpr0.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr0/dec.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr0/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr0/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr0/pr0.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr0/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr0/subst1.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr1/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr1/pr1.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr1/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr2/clen.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr2/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr2/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr2/pr2.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr2/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr2/subst1.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr3/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr3/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr3/iso.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr3/pr1.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr3/pr3.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr3/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr3/subst1.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/pr3/wcpr0.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/preamble.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/r/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/r/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/s/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/s/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sc3/arity.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sc3/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sc3/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sn3/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sn3/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sn3/lift1.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sn3/nf2.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sn3/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sty0/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sty0/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sty0/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sty1/cnt.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sty1/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/sty1/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/subst/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/subst/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/subst/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/subst0/dec.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/subst0/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/subst0/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/subst0/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/subst0/subst0.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/subst0/tlt.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/subst1/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/subst1/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/subst1/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/subst1/subst1.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/theory.ma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/tlist/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/tlist/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/tlt/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/tlt/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ty3/arity.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ty3/arity_props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ty3/dec.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ty3/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ty3/fsubst0.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ty3/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ty3/fwd_nf2.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ty3/nf2.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ty3/pr3.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ty3/pr3_props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ty3/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ty3/sty0.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/ty3/subst1.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/wcpr0/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/wcpr0/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/wcpr0/getl.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/wf3/clear.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/wf3/defs.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/wf3/fwd.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/wf3/getl.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/wf3/props.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/LambdaDelta-2/wf3/ty3.mma [new file with mode: 0644] blob
helm/software/matita/contribs/LAMBDA-TYPES/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.