| 2009-01-04 |
Claudio Sacerdoti... | Snapshot to try to understand something. |
tree | commitdiff |
| 2009-01-04 |
Claudio Sacerdoti... | Some more progress, fighting universe inconsistencies. |
tree | commitdiff |
| 2009-01-04 |
Claudio Sacerdoti... | Yet another universe problem :-( |
tree | commitdiff |
| 2009-01-04 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2009-01-04 |
Claudio Sacerdoti... | Back to step 1: all files that used to pass now pass... |
tree | commitdiff |
| 2009-01-04 |
Claudio Sacerdoti... | More re-organization. |
tree | commitdiff |
| 2009-01-03 |
Claudio Sacerdoti... | Basic pairs went through with no problems. |
tree | commitdiff |
| 2009-01-03 |
Claudio Sacerdoti... | Universe level fixed (litterally). |
tree | commitdiff |
| 2009-01-03 |
Claudio Sacerdoti... | Niceness was just a temporary illusion :-( |
tree | commitdiff |
| 2009-01-03 |
Claudio Sacerdoti... | Much, much nicer now. |
tree | commitdiff |
| 2009-01-03 |
Claudio Sacerdoti... | Some more re-organization. |
tree | commitdiff |
| 2009-01-03 |
Claudio Sacerdoti... | More re-working. |
tree | commitdiff |
| 2009-01-03 |
Claudio Sacerdoti... | More reorganization. |
tree | commitdiff |
| 2008-12-28 |
Claudio Sacerdoti... | equivalence_relations made uniform w.r.t. universe... |
tree | commitdiff |
| 2008-12-28 |
Claudio Sacerdoti... | Final work for today. |
tree | commitdiff |
| 2008-12-28 |
Enrico Tassi | removed duplicate notation |
tree | commitdiff |
| 2008-12-28 |
Claudio Sacerdoti... | Some more painful work. |
tree | commitdiff |
| 2008-12-28 |
Claudio Sacerdoti... | binary_meet is back again, with some effort |
tree | commitdiff |
| 2008-12-28 |
Claudio Sacerdoti... | Many universe inconsistency avoided here and there. |
tree | commitdiff |
| 2008-12-28 |
Claudio Sacerdoti... | The universe inconsistency comes from big union, that... |
tree | commitdiff |
| 2008-12-28 |
Claudio Sacerdoti... | Proof that \Omega \sup A is an overlap algebra, up... |
tree | commitdiff |
| 2008-12-28 |
Claudio Sacerdoti... | o-algebra defined again |
tree | commitdiff |
| 2008-12-28 |
Claudio Sacerdoti... | Categories and subsets compile again, hopefully with... |
tree | commitdiff |
| 2008-12-28 |
Claudio Sacerdoti... | WARNING: partial commit to try to understand something. |
tree | commitdiff |
| 2008-12-26 |
Claudio Sacerdoti... | Some more fixes. Boring and stupid! |
tree | commitdiff |
| 2008-12-26 |
Claudio Sacerdoti... | Some fixes. |
tree | commitdiff |
| 2008-12-26 |
Claudio Sacerdoti... | O-Basic Topologies do form a category. |
tree | commitdiff |
| 2008-12-26 |
Claudio Sacerdoti... | A few more lines. |
tree | commitdiff |
| 2008-12-26 |
Claudio Sacerdoti... | Some notes by Giovanni. |
tree | commitdiff |
| 2008-12-26 |
Claudio Sacerdoti... | Some notes by Giovanni. |
tree | commitdiff |
| 2008-12-24 |
Enrico Tassi | added some virtuals |
tree | commitdiff |
| 2008-12-22 |
Claudio Sacerdoti... | Just copied here from formal_topologies.ma. |
tree | commitdiff |
| 2008-12-22 |
Claudio Sacerdoti... | More (ugly) work. |
tree | commitdiff |
| 2008-12-22 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-12-22 |
Enrico Tassi | Beginning of o-basic_topologies. |
tree | commitdiff |
| 2008-12-22 |
Enrico Tassi | Some clean up. |
tree | commitdiff |
| 2008-12-22 |
Enrico Tassi | Concrete Spaces defined but... they require about 20m... |
tree | commitdiff |
| 2008-12-22 |
Enrico Tassi | 1 more lemma |
tree | commitdiff |
| 2008-12-22 |
Enrico Tassi | one line |
tree | commitdiff |
| 2008-12-22 |
Enrico Tassi | some work |
tree | commitdiff |
| 2008-12-22 |
Claudio Sacerdoti... | ums got rid of |
tree | commitdiff |
| 2008-12-21 |
Claudio Sacerdoti... | 1) no more DAEMONS |
tree | commitdiff |
| 2008-12-21 |
Enrico Tassi | merged commits, the same proof is missing :-( |
tree | commitdiff |
| 2008-12-21 |
Enrico Tassi | bleah |
tree | commitdiff |
| 2008-12-21 |
Claudio Sacerdoti... | Using the new category SET. |
tree | commitdiff |
| 2008-12-21 |
Claudio Sacerdoti... | New category SET (whose objects are setoids). |
tree | commitdiff |
| 2008-12-19 |
Enrico Tassi | better pp of virtuals |
tree | commitdiff |
| 2008-12-19 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-12-19 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-12-19 |
Enrico Tassi | fix exponentiation |
tree | commitdiff |
| 2008-12-19 |
Enrico Tassi | go notation go! |
tree | commitdiff |
| 2008-12-19 |
Enrico Tassi | fixed, it seems the new handling of hints in some rare... |
tree | commitdiff |
| 2008-12-19 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-12-19 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-12-19 |
Enrico Tassi | added aliases for _ and fixed greek leters thanks to... |
tree | commitdiff |
| 2008-12-19 |
Enrico Tassi | .... |
tree | commitdiff |
| 2008-12-18 |
Claudio Sacerdoti... | Many axioms are now proved... using many more (but... |
tree | commitdiff |
| 2008-12-18 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-12-17 |
Enrico Tassi | foo overlap |
tree | commitdiff |
| 2008-12-17 |
Enrico Tassi | foo overlap |
tree | commitdiff |
| 2008-12-17 |
Enrico Tassi | .... |
tree | commitdiff |
| 2008-12-16 |
Enrico Tassi | hints work better now |
tree | commitdiff |
| 2008-12-16 |
Enrico Tassi | auto expansion of \tex macros added as a switch in... |
tree | commitdiff |
| 2008-12-16 |
Enrico Tassi | added one asser |
tree | commitdiff |
| 2008-12-15 |
Wilmer Ricciotti | Some changes to the pullback test, for debugging |
tree | commitdiff |
| 2008-12-15 |
Enrico Tassi | use named types to force some constraints asap |
tree | commitdiff |
| 2008-12-15 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-12-14 |
Claudio Sacerdoti... | The library is no longer automatically used during... |
tree | commitdiff |
| 2008-12-14 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-12-14 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-12-12 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-12-12 |
Claudio Sacerdoti... | A parser (and a scanner) to import "~C" files into... |
tree | commitdiff |
| 2008-12-12 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
| 2008-12-12 |
Claudio Sacerdoti... | 1. new expressions AND, OR, XOR |
tree | commitdiff |
| 2008-12-12 |
Enrico Tassi | ... |
tree | commitdiff |
| 2008-12-12 |
Enrico Tassi | thanks to the new fixes to notation, I can define ... |
tree | commitdiff |
| 2008-12-09 |
Enrico Tassi | added an exception |
tree | commitdiff |
| 2008-12-09 |
Enrico Tassi | fixed notation |
tree | commitdiff |
| 2008-12-09 |
Enrico Tassi | option to collapse all tex macros implemented |
tree | commitdiff |
| 2008-12-08 |
Claudio Sacerdoti... | A (boring and long) once-in-a-life exercise on proving... |
tree | commitdiff |
| 2008-12-08 |
Enrico Tassi | non active but almost working implementation of \TeX... |
tree | commitdiff |
| 2008-12-08 |
Enrico Tassi | alt-l for not working nymore for \fox where x was in... |
tree | commitdiff |
| 2008-12-08 |
Enrico Tassi | better replacement for \\def |
tree | commitdiff |
| 2008-12-08 |
Enrico Tassi | 3.5 -> 35 to help crappy latex |
tree | commitdiff |
| 2008-12-07 |
Claudio Sacerdoti... | New exception considered. |
tree | commitdiff |
| 2008-12-07 |
Enrico Tassi | better images |
tree | commitdiff |
| 2008-12-06 |
Enrico Tassi | new concept of virtuals, defined only in the gui that... |
tree | commitdiff |
| 2008-12-05 |
Claudio Sacerdoti... | new exception captured |
tree | commitdiff |
| 2008-12-05 |
Claudio Sacerdoti... | Case-sensitive fixes. |
tree | commitdiff |
| 2008-12-04 |
Enrico Tassi | housekeeping: |
tree | commitdiff |
| 2008-12-04 |
Enrico Tassi | Bug fixed: pretty-printing of aliases when the OK butto... |
tree | commitdiff |
| 2008-12-03 |
Claudio Sacerdoti... | The aliases and multi_aliases in the lexicon status... |
tree | commitdiff |
| 2008-12-01 |
Enrico Tassi | 0.5.6 almost ok |
tree | commitdiff |
| 2008-12-01 |
Enrico Tassi | all done |
tree | commitdiff |
| 2008-12-01 |
Enrico Tassi | more ex and more notation |
tree | commitdiff |
| 2008-12-01 |
Enrico Tassi | better doc |
tree | commitdiff |
| 2008-11-30 |
Enrico Tassi | natural deduction support for lemmas with premises |
tree | commitdiff |
| 2008-11-28 |
Ferruccio Guidi | cicDischarge: final fixup. Now correctly processes... |
tree | commitdiff |
| 2008-11-28 |
Enrico Tassi | new disambiguator almost attached |
tree | commitdiff |
| 2008-11-28 |
Enrico Tassi | ... |
tree | commitdiff |
| next |
projects / helm.git / history