| 2009-05-25 |
Enrico Tassi | nasty change in the lexer/parser: |
tree | commitdiff |
| 2008-11-20 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-11-20 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-11-19 |
Enrico Tassi | x2sx declared as coercion and used when possible |
tree | commitdiff |
| 2008-11-19 |
Enrico Tassi | renaming |
tree | commitdiff |
| 2008-11-19 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-11-12 |
Enrico Tassi | better names |
tree | commitdiff |
| 2008-11-07 |
Enrico Tassi | some other simplification |
tree | commitdiff |
| 2008-11-07 |
Enrico Tassi | ordered_set simplified |
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 | 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-25 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-25 |
Enrico Tassi | duality is a joke |
tree | commitdiff |
| 2008-10-23 |
Enrico Tassi | lebesgue completely dualized |
tree | commitdiff |
| 2008-10-20 |
Enrico Tassi | nat model ported to the dualized version, but not itsel... |
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-14 |
Enrico Tassi | firs step for dualization |
tree | commitdiff |
| 2008-10-14 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-10-02 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-09-30 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-09-26 |
Enrico Tassi | some work |
tree | commitdiff |
| 2008-09-19 |
Enrico Tassi | new reorganization |
tree | commitdiff |
| 2008-09-04 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-08-26 |
Enrico Tassi | fixed some stuff |
tree | commitdiff |
| 2008-07-22 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-07-22 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-07-21 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-07-15 |
Enrico Tassi | more notation moved to core notation, unification of... |
tree | commitdiff |
| 2008-07-15 |
Enrico Tassi | Since CProp_i = Type_i everything lowered without 2... |
tree | commitdiff |
| 2008-07-15 |
Enrico Tassi | models over N fixed |
tree | commitdiff |
| 2008-07-15 |
Enrico Tassi | new q_function representation |
tree | commitdiff |
| 2008-07-15 |
Enrico Tassi | Using Prop conjuction on Props lowers the universes. |
tree | commitdiff |
| 2008-07-10 |
Enrico Tassi | value has a specification |
tree | commitdiff |
| 2008-07-10 |
Enrico Tassi | more work on dama |
tree | commitdiff |
| 2008-07-07 |
Enrico Tassi | simplified coercDb implementation with additional info... |
tree | commitdiff |
| 2008-07-03 |
Enrico Tassi | ...snapshot |
tree | commitdiff |
| 2008-07-03 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-07-02 |
Enrico Tassi | some work |
tree | commitdiff |
| 2008-07-02 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-07-02 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-07-02 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-07-01 |
Enrico Tassi | shifting done, merge attacked |
tree | commitdiff |
| 2008-07-01 |
Enrico Tassi | shift almost done |
tree | commitdiff |
| 2008-06-30 |
Enrico Tassi | new specification |
tree | commitdiff |
| 2008-06-30 |
Enrico Tassi | some more work on q |
tree | commitdiff |
| 2008-06-28 |
Enrico Tassi | some more work to factorize out uninteresting parts... |
tree | commitdiff |
| 2008-06-27 |
Enrico Tassi | more work to try to understand where the issue is |
tree | commitdiff |
| 2008-06-27 |
Enrico Tassi | lost in the wood |
tree | commitdiff |
| 2008-06-26 |
Enrico Tassi | more work |
tree | commitdiff |
| 2008-06-26 |
Enrico Tassi | few more steps |
tree | commitdiff |
| 2008-06-26 |
Enrico Tassi | more work |
tree | commitdiff |
| 2008-06-26 |
Enrico Tassi | some more work |
tree | commitdiff |
| 2008-06-26 |
Enrico Tassi | more work on q |
tree | commitdiff |
| 2008-06-25 |
Enrico Tassi | some more work |
tree | commitdiff |
| 2008-06-25 |
Enrico Tassi | better, reparsable, notation |
tree | commitdiff |
| 2008-06-24 |
Enrico Tassi | removed <_,_> notation second interpretation for depend... |
tree | commitdiff |
| 2008-06-24 |
Enrico Tassi | notation factored, coercion commant taking terms and... |
tree | commitdiff |
| 2008-06-23 |
Enrico Tassi | more work, but russell too slow |
tree | commitdiff |
| 2008-06-19 |
Claudio Sacerdoti... | - notation fixed according to the new stricter semantics |
tree | commitdiff |
| 2008-06-18 |
Enrico Tassi | some work on Q |
tree | commitdiff |
| 2008-06-17 |
Enrico Tassi | general reorganization and first (unconditional) proof... |
tree | commitdiff |
| 2008-06-16 |
Enrico Tassi | Dedekind sigma completeness for the natural numbers. |
tree | commitdiff |
| 2008-06-16 |
Enrico Tassi | typo |
tree | commitdiff |
| 2008-06-13 |
Enrico Tassi | some notation added with a bit PITA |
tree | commitdiff |
| 2008-06-13 |
Enrico Tassi | more notation |
tree | commitdiff |
| 2008-06-12 |
Enrico Tassi | better names in a lemma to increase readability |
tree | commitdiff |
| 2008-06-12 |
Enrico Tassi | fixed some regressions |
tree | commitdiff |
| 2008-06-11 |
Enrico Tassi | gran casino |
tree | commitdiff |
| 2008-06-10 |
Enrico Tassi | bla bla bla |
tree | commitdiff |
| 2008-06-10 |
Enrico Tassi | initial qork for models |
tree | commitdiff |
| 2008-06-10 |
Enrico Tassi | lebesgue proved |
tree | commitdiff |
| 2008-06-10 |
Enrico Tassi | snapshot |
tree | commitdiff |
| 2008-06-09 |
Claudio Sacerdoti... | Most of the time, URIs can now be replaced with identif... |
tree | commitdiff |
| 2008-06-09 |
Enrico Tassi | initial work on lebesque |
tree | commitdiff |
| 2008-06-09 |
Enrico Tassi | exhaustivity completed |
tree | commitdiff |
| 2008-06-09 |
Enrico Tassi | exhaustivity, some work |
tree | commitdiff |
| 2008-06-07 |
Enrico Tassi | exhaustivity defined |
tree | commitdiff |
| 2008-06-07 |
Enrico Tassi | proof simplified |
tree | commitdiff |
| 2008-06-06 |
Enrico Tassi | lemma 3.6 subverted |
tree | commitdiff |
| 2008-06-05 |
Enrico Tassi | .... |
tree | commitdiff |
| 2008-06-05 |
Enrico Tassi | added order_continuity |
tree | commitdiff |
| 2008-06-05 |
Enrico Tassi | sandwich is back |
tree | commitdiff |
| 2008-06-03 |
Enrico Tassi | some work on uniformity |
tree | commitdiff |
| 2008-06-03 |
Enrico Tassi | end of section 2.2 |
tree | commitdiff |
| 2008-06-03 |
Enrico Tassi | proof refactored |
tree | commitdiff |
| 2008-06-01 |
Enrico Tassi | more work on supremum |
tree | commitdiff |
| 2008-05-30 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-05-30 |
Enrico Tassi | more work on dama |
tree | commitdiff |
| 2008-05-29 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-05-29 |
Enrico Tassi | first page of the new dama proof |
tree | commitdiff |
| 2008-05-28 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-05-28 |
Enrico Tassi | dama restarted |
tree | commitdiff |
| next |
projects / helm.git / history