%0 Conference Paper %1 Nipkow-TYPES02 %A Nipkow, Tobias %B Types for Proofs and Programs (TYPES 2002) %D 2003 %E Geuvers, H. %E Wiedijk, F. %K isabelle proof %P 259-278 %T Structured Proofs in Isar/HOL %V 2646

@inproceedings{Nipkow-TYPES02, added-at = {2009-11-13T18:26:43.000+0100}, author = {Nipkow, Tobias}, biburl = {https://www.bibsonomy.org/bibtex/2f1c7ebedcbc68ddbc390950da57197e6/giuliano.losa}, booktitle = {Types for Proofs and Programs (TYPES 2002)}, description = {Structured Proofs in Isar/HOL}, editor = {Geuvers, H. and Wiedijk, F.}, interhash = {9905fe5988be394bd46874f9d3879b57}, intrahash = {f1c7ebedcbc68ddbc390950da57197e6}, keywords = {isabelle proof}, pages = {259-278}, timestamp = {2009-11-13T18:26:43.000+0100}, title = {{Structured Proofs in Isar/HOL}}, volume = 2646, year = 2003 }