2009-01-06 |
Claudio Sacerdoti... | orelation_of_relation preserves equality and identities. |
tree | commitdiff |
2009-01-06 |
Claudio Sacerdoti... | Basic pairs restored; require renaming to use them... |
tree | commitdiff |
2009-01-06 |
Claudio Sacerdoti... | Some progress: everything works well now. |
tree | commitdiff |
2009-01-06 |
Claudio Sacerdoti... | Ooops, I forgot to commit this in the previous 3-4... |
tree | commitdiff |
2009-01-06 |
Claudio Sacerdoti... | An hint moved to the right place. |
tree | commitdiff |
2009-01-06 |
Claudio Sacerdoti... | No more daemons, no more exTs. |
tree | commitdiff |
2009-01-06 |
Claudio Sacerdoti... | Great: some significant progress in fixing universe... |
tree | commitdiff |
2009-01-04 |
Claudio Sacerdoti... | ... |
tree | commitdiff |
2009-01-04 |
Claudio Sacerdoti... | 1. CProp_n fixed to be equal to Type_n to better unders... |
tree | commitdiff |
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-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-19 |
Enrico Tassi | ... |
tree | commitdiff |
2008-12-19 |
Enrico Tassi | go notation go! |
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-14 |
Enrico Tassi | ... |
tree | commitdiff |
2008-12-12 |
Enrico Tassi | thanks to the new fixes to notation, I can define ... |
tree | commitdiff |
2008-06-09 |
Claudio Sacerdoti... | Most of the time, URIs can now be replaced with identif... |
tree | commitdiff |
2007-06-04 |
Claudio Sacerdoti... | Another optimization, already done for geq. |
tree | commitdiff |
2007-06-01 |
Claudio Sacerdoti... | Some interesting optimizations to prevent many bad... |
tree | commitdiff |
2007-06-01 |
Claudio Sacerdoti... | Profiling enabled again. |
tree | commitdiff |
2007-05-31 |
Claudio Sacerdoti... | Final (???) bug fixed. |
tree | commitdiff |
2007-05-30 |
Claudio Sacerdoti... | theory_explorer now communicates directly with matitawi... |
tree | commitdiff |
2007-05-29 |
Claudio Sacerdoti... | 1. Profiling enabled. |
tree | commitdiff |
2007-05-26 |
Claudio Sacerdoti... | 1. Now I save a log.ma file that is exactly what is... |
tree | commitdiff |
2007-05-26 |
Claudio Sacerdoti... | log.ma is now created. But it does not contain the... |
tree | commitdiff |
2007-05-25 |
Claudio Sacerdoti... | log.ma is now created. It records all the tests (both... |
tree | commitdiff |
2007-05-25 |
Claudio Sacerdoti... | Yet another assert failure fixed. |
tree | commitdiff |
2007-05-25 |
Claudio Sacerdoti... | More warnings. |
tree | commitdiff |
2007-05-24 |
Claudio Sacerdoti... | New asserts. |
tree | commitdiff |
2007-05-24 |
Claudio Sacerdoti... | More assert failures and some bugs (detected by assert... |
tree | commitdiff |
2007-05-24 |
Claudio Sacerdoti... | All known bugs fixed. |
tree | commitdiff |
2007-05-24 |
Claudio Sacerdoti... | It no longer generates double arcs between nodes. |
tree | commitdiff |
2007-05-24 |
Claudio Sacerdoti... | Still bugged. |
tree | commitdiff |
2007-05-24 |
Claudio Sacerdoti... | theory_explorer_do_not_trust_auto.ml is the version... |
tree | commitdiff |
2007-05-23 |
Claudio Sacerdoti... | I am now using tred to remove transitive dependencies... |
tree | commitdiff |
2007-05-23 |
Claudio Sacerdoti... | 1. generation of log file commented out (it gets too... |
tree | commitdiff |
2007-05-23 |
Claudio Sacerdoti... | Even more color (for new nodes). |
tree | commitdiff |
2007-05-23 |
Claudio Sacerdoti... | Use different colors to understand what is going on. |
tree | commitdiff |
2007-05-23 |
Claudio Sacerdoti... | Unlinked nodes are now printed. |
tree | commitdiff |
2007-05-23 |
Claudio Sacerdoti... | xxx.dot improved |
tree | commitdiff |
2007-05-23 |
Claudio Sacerdoti... | Automatic exploration of the theory of intuitionistic... |
tree | commitdiff |
|