]>
2007-09-14 | Andrea Asperti | Qualche semplificazione. | tree | commitdiff |
2007-09-12 | Wilmer Ricciotti | Updated, proofs are now about 750 lines. | tree | commitdiff |
2007-07-26 | Wilmer Ricciotti | Some notation added | tree | commitdiff |
2007-07-25 | Enrico Tassi | added some notation | tree | commitdiff |
2007-06-21 | Wilmer Ricciotti | PoplMark challenge part 1a: new, shorter version w... | tree | commitdiff |
2007-05-24 | Enrico Tassi | auto and autogui... some work | tree | commitdiff |
2007-04-10 | Enrico Tassi | set -> type | tree | commitdiff |
2007-01-18 | Wilmer Ricciotti | new version, using new tacticals | tree | commitdiff |
2006-12-01 | Ferruccio Guidi | some uris fixed | tree | commitdiff |
2006-11-30 | Wilmer Ricciotti | library/Fsub: minor fix | tree | commitdiff |
2006-11-30 | Wilmer Ricciotti | library: added solution to POPLMark challenge part... | tree | commitdiff |