]>
2007-11-12 | Ferruccio Guidi | refactoring | tree | commitdiff |
2007-11-07 | Ferruccio Guidi | - bug fix in destruct | tree | commitdiff |
2007-09-27 | Ferruccio Guidi | added some notation | tree | commitdiff |
2007-09-26 | Ferruccio Guidi | started the Proof Weight predicate for cut elimination... | tree | commitdiff |
2007-09-25 | Ferruccio Guidi | bug fix in Track definition | tree | commitdiff |
2007-08-26 | Ferruccio Guidi | We define proof tree tracks and normal proof tree track... | tree | commitdiff |
2007-08-26 | Ferruccio Guidi | refactoring | tree | commitdiff |
2007-08-26 | Ferruccio Guidi | proof by "introduction" (impi) implemented in full | tree | commitdiff |
2007-07-24 | Ferruccio Guidi | New developement LOGIC about the cut elimination of... | tree | commitdiff |