@Inproceedings{EPTCS114.3, author = {Joosten, Sebastiaan J. C. and van Gastel, Bernard and Schmaltz, Julien}, year = {2013}, title = {A Macro for Reusing Abstract Functions and Theorems}, editor = {Gamboa, Ruben and Davis, Jared}, booktitle = {{\rm Proceedings International Workshop on the} ACL2 Theorem Prover and its Applications, {\rm Laramie, Wyoming, USA , May 30-31, 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {114}, publisher = {Open Publishing Association}, pages = {29-41}, doi = {10.4204/EPTCS.114.3}, }