]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/contribs
basic_rg: reduction was not tail recursive by mistake
[helm.git] / helm / software / matita / contribs /
2009-10-29 Claudio Sacerdoti... For some obscure reason, more universes are now needed...
2009-10-28 Claudio Sacerdoti... Works again
2009-10-26 Claudio Sacerdoti... qed => nqed.
2009-10-22 Enrico Tassinew instantiate, only known bug is w.r.t. in/out scope...
2009-10-15 Cosimo Oliboni freescale porting, work in progress
2009-10-14 Cosimo Oliboni freescale porting, work in progress
2009-10-13 Cosimo Oliboni freescale porting, work in progress
2009-09-21 Enrico Tassihuge commit regarding universes:
2009-09-04 Cosimo Oliboni freescale porting, work in progress
2009-09-04 Cosimo Oliboni freescale porting, work in progress
2009-09-03 Cosimo Oliboni freescale porting, work in progress
2009-09-03 Cosimo Oliboni freescale porting, work in progress
2009-09-03 Cosimo Oliboni freescale porting, work in progress
2009-09-02 Enrico Tassifix to speedup reduction making intermediate conversion...
2009-09-02 Enrico Tassifixed eliminator name
2009-09-02 Enrico Tassisome work
2009-09-02 Enrico TassiCIC has no eta-reduction/expansion
2009-08-14 Cosimo Oliboni freescale porting, work in progress
2009-08-12 Cosimo Oliboni freescale porting, work in progress
2009-08-12 Cosimo Oliboni freescale porting, work in progress
2009-08-11 Cosimo Oliboni freescale porting, work in progress
2009-08-09 Cosimo Oliboni freescale porting, work in progress
2009-08-08 Cosimo Oliboni freescale porting, work in progress
2009-08-07 Cosimo Oliboni freescale porting, work in progress
2009-08-06 Cosimo Oliboni freescale porting, work in progress
2009-08-05 Cosimo Oliboni freescale porting, work in progress
2009-08-05 Cosimo Oliboni freescale porting, work in progress
2009-08-05 Cosimo Oliboni freescale porting, work in progress
2009-08-05 Cosimo Oliboni freescale porting, work in progress
2009-08-05 Cosimo Oliboni freescale porting, work in progress
2009-08-05 Cosimo Oliboni freescale porting, work in progress
2009-08-04 Cosimo Oliboni freescale porting, work in progress
2009-08-04 Cosimo Oliboni freescale porting, work in progress
2009-08-04 Cosimo Oliboni freescle porting, work in progress
2009-08-04 Cosimo Oliboni freescale porting, work in progress
2009-08-03 Cosimo Oliboni freescale porting, work in progress
2009-08-01 Cosimo Oliboni freescale porting, work in progress
2009-07-31 Cosimo Oliboni freescale porting, work in progress
2009-07-30 Claudio Sacerdoti... 1) \ldots here and there
2009-07-29 Cosimo Oliboni freescale porting, work in progress
2009-07-24 Claudio Sacerdoti... ...
2009-07-23 Cosimo Oliboni freescale porting, work in progress
2009-07-23 Cosimo Oliboni freescale porting, work in progress
2009-07-22 Claudio Sacerdoti... Elimination principles are now processed in O(1) again
2009-07-22 Claudio Sacerdoti... 1) PTS simplified
2009-07-22 Claudio Sacerdoti... nelim fixed
2009-07-21 Cosimo Oliboni freescale porting, work in progress
2009-07-20 Claudio Sacerdoti... ...
2009-07-19 Cosimo Oliboni freescale porting, work in progress
2009-07-17 Cosimo Oliboni freescale porting, work in progress
2009-07-16 Cosimo Oliboni freescale porting, work in progress
2009-07-15 Cosimo Oliboni freescale porting, work in progress
2009-07-14 Cosimo Oliboni freescale porting to ng, work in progress
2009-07-13 Cosimo Oliboni freescale translation (work in progress)
2009-07-12 Cosimo Oliboni(no commit message)
2009-07-11 Cosimo Oliboni(no commit message)
2009-07-10 Cosimo Oliboni +root +depends
2009-07-10 Cosimo Oliboninew ng freescale, no external dependencies
2009-07-09 Wilmer RicciottiMore updates to Fsub.
2009-06-23 Enrico Tassiremoved problem not in UEQ
2009-06-22 denesAdded problems from CASC 208
2009-06-22 denesRegenerated problems with corrected tptp2grafite
2009-06-19 Wilmer RicciottiMore improvements.
2009-06-18 denesFixed stupid path
2009-06-18 denesAdded script useful for running benchmarks
2009-06-15 Enrico Tassitacticals are really tactics now, they have an AST...
2009-06-12 Enrico Tassi-ng implemented
2009-06-11 Ferruccio Guidi- some depend files fixed
2009-06-09 Ferruccio Guidi- Procedural: more support for the Debug inline option...
2009-06-05 Ferruccio Guidi- Procedural convertible rewrites in the conclusion...
2009-06-05 Wilmer Ricciotti- replaced part1a/defn with the version based on induct...
2009-06-03 Wilmer RicciottiUpdate, using induction/inversion.
2009-06-01 Andrea AspertiThis works for me
2009-05-29 Wilmer RicciottiPOPLmark part 1a using the de Bruijn encoding.
2009-05-25 Enrico Tassinasty change in the lexer/parser:
2009-05-19 Enrico Tassi...
2009-05-19 Enrico Tassiregenerated
2009-05-19 Enrico Tassisome horn+equality problems
2009-05-13 Andrea AspertiVia un'altra linea...
2009-05-13 Andrea AspertiSempre piu' breve
2009-05-12 Ferruccio Guidi- Procedural: we now reconstruct "let H := v in t"...
2009-05-11 Andrea AspertiMore automation
2009-05-06 Ferruccio GuidiLAMBDA-TYPES: mma's recommitted because inline syntax...
2009-05-06 Ferruccio Guidi- cicUtil: is_sober now detects folded applications
2009-05-05 Ferruccio Guidi- hExtlib: new function "list_assoc_all"
2009-05-01 Ferruccio Guidi- librarian: 3 bugs fixed in the building system:
2009-04-28 Enrico Tassihuge commit in automation:
2009-04-27 Ferruccio GuidimatitacLib: bugfix in .moo generation
2009-04-22 Ferruccio Guidi- transcript: we have now two styles of mma's from...
2009-04-21 Ferruccio Guidi- MatitaMisc: we factorized here the function out_pream...
2009-04-16 Ferruccio GuidiProcedural: we corrected two errors about the handling...
2009-04-15 Ferruccio Guidi- transcript: bugfix
2009-04-14 Ferruccio Guidi- Procedural: generation of "exact" is now complete
2009-04-09 Ferruccio Guidi- character: we adjusted some "autobatch" parameters
2009-04-06 Ferruccio Guidi- external quantification removed (will be reintroduced...
2009-04-06 Ferruccio Guidilimits: reorganized and attached to nightly tests ...
2009-04-05 Ferruccio Guidi- Procedural: now we generate the exact tactic (in...
2009-03-26 Enrico Tassi...
2009-03-19 Claudio Sacerdoti... ...
2009-03-12 Claudio Sacerdoti... More details on the proof.
next