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