| 2008-11-06 |
Enrico Tassi | fixed scripts |
tree | commitdiff |
| 2008-11-05 |
Enrico Tassi | still some glitches, but reaching a decent state |
tree | commitdiff |
| 2008-11-05 |
Enrico Tassi | using the new by foo we proved semantics |
tree | commitdiff |
| 2008-11-05 |
Enrico Tassi | fixed script to use auto depth=4 |
tree | commitdiff |
| 2008-11-04 |
Enrico Tassi | eliminazione di un passaggio di transitività in ast2astfe |
tree | commitdiff |
| 2008-11-04 |
Claudio Sacerdoti... | - A new interesting elimination principle over inductiv... |
tree | commitdiff |
| 2008-11-03 |
Enrico Tassi | BDD |
tree | commitdiff |
| 2008-11-02 |
Enrico Tassi | shannon proved |
tree | commitdiff |
| 2008-11-01 |
Enrico Tassi | added shannon |
tree | commitdiff |
| 2008-10-31 |
Claudio Sacerdoti... | Environment simplified. |
tree | commitdiff |
| 2008-10-31 |
Claudio Sacerdoti... | No longer used. |
tree | commitdiff |
| 2008-10-31 |
Claudio Sacerdoti... | - New dependency for environments on the nesting depth. |
tree | commitdiff |
| 2008-10-29 |
Enrico Tassi | models ported |
tree | commitdiff |
| 2008-10-28 |
Enrico Tassi | even more polymorphic dualizer |
tree | commitdiff |
| 2008-10-28 |
Enrico Tassi | done |
tree | commitdiff |
| 2008-10-28 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-28 |
Enrico Tassi | lebesge works |
tree | commitdiff |
| 2008-10-27 |
Enrico Tassi | WIP |
tree | commitdiff |
| 2008-10-27 |
Enrico Tassi | WIP |
tree | commitdiff |
| 2008-10-27 |
Enrico Tassi | seg_u/l were inverted, more work |
tree | commitdiff |
| 2008-10-27 |
Enrico Tassi | big lemma done |
tree | commitdiff |
| 2008-10-26 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-26 |
Enrico Tassi | duality done |
tree | commitdiff |
| 2008-10-26 |
Enrico Tassi | almost done, just needs to be prforated |
tree | commitdiff |
| 2008-10-26 |
Enrico Tassi | .... |
tree | commitdiff |
| 2008-10-26 |
Enrico Tassi | all done in declarative style |
tree | commitdiff |
| 2008-10-25 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-25 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-25 |
Enrico Tassi | duality is a joke |
tree | commitdiff |
| 2008-10-24 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-24 |
Enrico Tassi | leave-environment axiom made true |
tree | commitdiff |
| 2008-10-23 |
Enrico Tassi | lebesgue completely dualized |
tree | commitdiff |
| 2008-10-21 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | nat model ported to the dualized version, but not itsel... |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | ... is a command in proof mode, use |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | after a PITA, lebergue is dualized! |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-19 |
Enrico Tassi | some work on duality, still not finisched |
tree | commitdiff |
| 2008-10-19 |
Enrico Tassi | grave notation mistake fixed |
tree | commitdiff |
| 2008-10-19 |
Enrico Tassi | more tests |
tree | commitdiff |
| 2008-10-19 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-19 |
Enrico Tassi | when a file is opened the cursor is moved to the begin... |
tree | commitdiff |
| 2008-10-18 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-18 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-18 |
Enrico Tassi | tactic language documented; |
tree | commitdiff |
| 2008-10-18 |
Ferruccio Guidi | Acic2Procedural: |
tree | commitdiff |
| 2008-10-18 |
Enrico Tassi | html documentation generation implemented |
tree | commitdiff |
| 2008-10-18 |
Enrico Tassi | more doc |
tree | commitdiff |
| 2008-10-18 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-17 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-17 |
Enrico Tassi | new command eval added |
tree | commitdiff |
| 2008-10-17 |
Enrico Tassi | better makefile |
tree | commitdiff |
| 2008-10-17 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-16 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-10-16 |
Enrico Tassi | ex for students about induction |
tree | commitdiff |
| 2008-10-15 |
Claudio Sacerdoti... | minor simplification + deps fixed |
tree | commitdiff |
| 2008-10-15 |
Claudio Sacerdoti... | New invariant and data structure to represent environme... |
tree | commitdiff |
| 2008-10-14 |
Enrico Tassi | firs step for dualization |
tree | commitdiff |
| 2008-10-14 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-03 |
Enrico Tassi | when -debug do not catch the exception |
tree | commitdiff |
| 2008-10-02 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-01 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-10-01 |
Claudio Sacerdoti... | - setters for data structures now support "commuting... |
tree | commitdiff |
| 2008-09-30 |
Ferruccio Guidi | librarian.ml: now the read_only .moo's are managed... |
tree | commitdiff |
| 2008-09-30 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-09-27 |
Enrico Tassi | updated changelog |
tree | commitdiff |
| 2008-09-26 |
Enrico Tassi | more push/pop to avoid confusion with imperative data... |
tree | commitdiff |
| 2008-09-26 |
Ferruccio Guidi | Procedural: we removed some commented code |
tree | commitdiff |
| 2008-09-26 |
Enrico Tassi | include statement better implemented: |
tree | commitdiff |
| 2008-09-26 |
Enrico Tassi | fixed some notational collisions |
tree | commitdiff |
| 2008-09-26 |
Enrico Tassi | commented out a line that was making the file fail |
tree | commitdiff |
| 2008-09-26 |
Enrico Tassi | lazy proof term to increase sharing and decrease memory... |
tree | commitdiff |
| 2008-09-26 |
Enrico Tassi | some work |
tree | commitdiff |
| 2008-09-25 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-09-25 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-09-22 |
Ferruccio Guidi | new small devel |
tree | commitdiff |
| 2008-09-22 |
Enrico Tassi | fixed auto invocation |
tree | commitdiff |
| 2008-09-19 |
Enrico Tassi | new reorganization |
tree | commitdiff |
| 2008-09-19 |
Enrico Tassi | fixed |
tree | commitdiff |
| 2008-09-18 |
Ferruccio Guidi | applyTransformation: improved error detection |
tree | commitdiff |
| 2008-09-18 |
Claudio Sacerdoti... | Major reordering of theorems in the appropriate files. |
tree | commitdiff |
| 2008-09-18 |
Enrico Tassi | fixed script |
tree | commitdiff |
| 2008-09-18 |
Claudio Sacerdoti... | Precedence level of \downarrow changed to match that... |
tree | commitdiff |
| 2008-09-16 |
Claudio Sacerdoti... | formal_map now defined |
tree | commitdiff |
| 2008-09-16 |
Claudio Sacerdoti... | Definition of formal_topologies. |
tree | commitdiff |
| 2008-09-15 |
Claudio Sacerdoti... | BTop is a category. |
tree | commitdiff |
| 2008-09-12 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-09-12 |
Claudio Sacerdoti... | 1) as usual, I took the reverse notation for composition. |
tree | commitdiff |
| 2008-09-11 |
Claudio Sacerdoti... | helm mailing list moved to cs.unibo.it |
tree | commitdiff |
| 2008-09-10 |
Ferruccio Guidi | we skip discharging on matita opbjects (they don't... |
tree | commitdiff |
| 2008-09-10 |
Enrico Tassi | COMMIT TO JUST RUN A BENCH, SHOULD BE REVERTED ASAP... |
tree | commitdiff |
| 2008-09-09 |
Claudio Sacerdoti... | Reordering of lemmas in proper places. |
tree | commitdiff |
| 2008-09-09 |
Claudio Sacerdoti... | Concrete spaces do form a category, after all :-) |
tree | commitdiff |
| 2008-09-09 |
Claudio Sacerdoti... | Getting closer thanks to more technical arrangements. |
tree | commitdiff |
| 2008-09-08 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-09-08 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-09-08 |
Claudio Sacerdoti... | Concrete spaces now defined. |
tree | commitdiff |
| next |
projects / helm.git / history