Viewing all changes in revision 202.
- Committer: Peter G. Jensen
- Date: 2018-01-22 12:54:38 UTC
- Revision ID: peter.gjoel@gmail.com-20180122125438-a56g58jasiitnlg3
added extra reductions, changed printing of reduction applications
expand all
collapse all
added
removed
added
removed
