projects / helm.git / search
| 2007-09-12 | Wilmer Ricciotti | Updated, proofs are now about 750 lines. |
commit | commitdiff | tree |
| 2007-07-26 | Wilmer Ricciotti | Some notation added |
commit | commitdiff | tree |
| 2007-07-16 | Wilmer Ricciotti | corrected axiom mod_plus |
commit | commitdiff | tree |
| 2007-06-21 | Wilmer Ricciotti | PoplMark challenge part 1a: new, shorter version w... |
commit | commitdiff | tree |
| 2007-01-18 | Wilmer Ricciotti | new version, using new tacticals |
commit | commitdiff | tree |
| 2006-11-30 | Wilmer Ricciotti | library/Fsub: minor fix |
commit | commitdiff | tree |
| 2006-11-30 | Wilmer Ricciotti | library: added solution to POPLMark challenge part... |
commit | commitdiff | tree |