2016-04-27 |
Ferruccio Guidi | exportation of lambdadelta 1 with flavoured let recs |
tree | commitdiff |
2015-09-06 |
Ferruccio Guidi | flavour and source information exported for the objects... |
tree | commitdiff |
2015-03-07 |
Ferruccio Guidi | performance data for basic_1 on dev.helm |
tree | commitdiff |
2015-03-06 |
Ferruccio Guidi | with matita 0.99.2 we can validate lambdadelta_1 (as... |
tree | commitdiff |
2015-03-06 |
Ferruccio Guidi | legacy_1, ground_1, and basic_1 recommitted without... |
tree | commitdiff |
2015-03-05 |
Ferruccio Guidi | basic_1: COMMIT COMPLETED |
tree | commitdiff |
2015-03-05 |
Ferruccio Guidi | components: pc1, pc3, ty3, csubt, ex1 |
tree | commitdiff |
2015-03-05 |
Ferruccio Guidi | components: sc3, csubc |
tree | commitdiff |
2015-03-04 |
Ferruccio Guidi | components: nf2, sn3, ex2 |
tree | commitdiff |
2015-03-04 |
Ferruccio Guidi | components: arity, csuba |
tree | commitdiff |
2015-02-25 |
Ferruccio Guidi | component: pr3 |
tree | commitdiff |
2015-02-24 |
Ferruccio Guidi | components: wcpr0 pr1 pr2 |
tree | commitdiff |
2015-02-23 |
Ferruccio Guidi | component: pr0 |
tree | commitdiff |
2015-02-22 |
Ferruccio Guidi | components: A asucc aplus leq llt aprem ex0 |
tree | commitdiff |
2015-02-19 |
Ferruccio Guidi | components: G, next_plus, sty0, sty1 |
tree | commitdiff |
2015-02-11 |
Ferruccio Guidi | components: subst1 csubst0 csubst1 fsubst0 |
tree | commitdiff |
2015-02-11 |
Ferruccio Guidi | components: subst csubv |
tree | commitdiff |
2015-02-10 |
Ferruccio Guidi | components: subst0 |
tree | commitdiff |
2015-02-09 |
Ferruccio Guidi | components: clen lift1 drop1 |
tree | commitdiff |
2015-02-08 |
Ferruccio Guidi | components: clear getl cimp |
tree | commitdiff |
2015-02-08 |
Ferruccio Guidi | components cnt drop |
tree | commitdiff |
2015-02-06 |
Ferruccio Guidi | some improvements in the anticipator |
tree | commitdiff |
2015-02-04 |
Ferruccio Guidi | components C r flt app lift |
tree | commitdiff |
2015-02-04 |
Ferruccio Guidi | - matitac: now directories are allowed as command line... |
tree | commitdiff |
2015-02-04 |
Ferruccio Guidi | - some improvements in the generation of terms |
tree | commitdiff |
2015-02-03 |
Ferruccio Guidi | - we generate the terms in anticipated form (the are... |
tree | commitdiff |
2015-01-30 |
Ferruccio Guidi | porting of basic_1 for the ng_kernel: first step ... |
tree | commitdiff |
2015-01-22 |
Ferruccio Guidi | refactoring of \lambda\delta version 1 in matita |
tree | commitdiff |
|