| Name | Size | Mode | Actions |
|---|---|---|---|
| alternative.ipp | 2752 | 0644 | editdlrm |
| difference.ipp | 2731 | 0644 | editdlrm |
| directives.ipp | 6738 | 0644 | editdlrm |
| exclusive_or.ipp | 2773 | 0644 | editdlrm |
| intersection.ipp | 2773 | 0644 | editdlrm |
| kleene_star.ipp | 1093 | 0644 | editdlrm |
| list.ipp | 2908 | 0644 | editdlrm |
| optional.ipp | 1071 | 0644 | editdlrm |
| positive.ipp | 1078 | 0644 | editdlrm |
| sequence.ipp | 2702 | 0644 | editdlrm |
| sequential_and.ipp | 2724 | 0644 | editdlrm |
| sequential_or.ipp | 2803 | 0644 | editdlrm |