]>
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 |