Viewing all changes in revision 214.
- Committer: Peter G. Jensen
- Date: 2017-12-12 15:20:36 UTC
- mfrom: (190.1.2 ctl-structural-reductions)
- Revision ID: peter.gjoel@gmail.com-20171212152036-ofpnxe4omi2w55cj
enables reductions for CTL
expand all
collapse all
added
removed
added
removed
