@Inproceedings{EPTCS34.8, author = {Rabe, Florian}, year = {2010}, title = {Representing Isabelle in LF}, editor = {Crary, Karl and Miculan, Marino}, booktitle = {{\rm Proceedings 5th International Workshop on} Logical Frameworks and Meta-languages: Theory and Practice, {\rm Edinburgh, UK, 14th July 2010}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {34}, publisher = {Open Publishing Association}, pages = {85-99}, doi = {10.4204/EPTCS.34.8}, }