Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP'06)
@proceedings{AB-06-a, editor = {Serge Autexier and Christoph Benzm\"uller}, title = {Proceedings of the 7th Workshop on User Interfaces for Theorem Provers (UITP'06)}, address = {Seattle, WA, USA}, month = {august}, year = {2006}, }