
@conference {623,
	title = {A Consistent Foundation for Isabelle/HOL},
	booktitle = {Proceedings of the 6th International Conference on Interactive Theorem Proving (ITP)},
	year = {2015},
	author = {Ond{\v r}ej Kun{\v c}ar and Andrei Popescu}
}
