@Inproceedings{EPTCS167.4, author = {Butterfield, Andrew}, year = {2014}, title = {UTP2: Higher-Order Equational Reasoning by Pointing}, editor = {Benzm\"uller, Christoph and Paleo, Bruno Woltzenlogel}, booktitle = {{\rm Proceedings Eleventh Workshop on} User Interfaces for Theorem Provers, {\rm Vienna, Austria, 17th July 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {167}, publisher = {Open Publishing Association}, pages = {14-22}, doi = {10.4204/EPTCS.167.4}, }