]>
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-13 | Enrico Tassi | some notation added with a bit PITA | 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 |