summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
3c9a0cb)
- svn:ignore property fixed for Base-2 devel
<keyword>symmetry</keyword>
<keyword>simplify</keyword>
<keyword>split</keyword>
<keyword>symmetry</keyword>
<keyword>simplify</keyword>
<keyword>split</keyword>
- <keyword>subst</keyword>
<keyword>to</keyword>
<keyword>transitivity</keyword>
<keyword>unfold</keyword>
<keyword>to</keyword>
<keyword>transitivity</keyword>
<keyword>unfold</keyword>