Preface
@inproceedings{AB-07-a, author = {Serge Autexier, Christoph Benzm\"uller}, editor = {Serge Autexier, Christoph Benzm\"uller}, booktitle = {7th Workshop on User Interfaces for Theorem Provers (UITP'06)}, title = {Preface}, volume = {174(2)}, series = {Electronic Notes on Theoretical Computer Science}, publisher = {Elsevier}, pages = {1-2}, month = {april}, year = {2007}, }