Artifacts of isabelle-all #2830

	MathJax_AMS-Regular.woff	Dec 31, 2020, 3:48:39 PM	39.85 KiB
	MathJax_Calligraphic-Bold.woff	Dec 31, 2020, 3:48:39 PM	9.68 KiB
	MathJax_Calligraphic-Regular.woff	Dec 31, 2020, 3:48:39 PM	9.38 KiB
	MathJax_Fraktur-Bold.woff	Dec 31, 2020, 3:48:39 PM	21.82 KiB
	MathJax_Fraktur-Regular.woff	Dec 31, 2020, 3:48:39 PM	20.98 KiB
	MathJax_Main-Bold.woff	Dec 31, 2020, 3:48:39 PM	33.66 KiB
	MathJax_Main-Italic.woff	Dec 31, 2020, 3:48:39 PM	20.34 KiB
	MathJax_Main-Regular.woff	Dec 31, 2020, 3:48:39 PM	33.36 KiB
	MathJax_Math-BoldItalic.woff	Dec 31, 2020, 3:48:39 PM	19.31 KiB
	MathJax_Math-Italic.woff	Dec 31, 2020, 3:48:39 PM	18.91 KiB
	MathJax_Math-Regular.woff	Dec 31, 2020, 3:48:39 PM	18.84 KiB
	MathJax_SansSerif-Bold.woff	Dec 31, 2020, 3:48:39 PM	15.57 KiB
	MathJax_SansSerif-Italic.woff	Dec 31, 2020, 3:48:39 PM	14.29 KiB
	MathJax_SansSerif-Regular.woff	Dec 31, 2020, 3:48:39 PM	12.36 KiB
	MathJax_Script-Regular.woff	Dec 31, 2020, 3:48:39 PM	11.57 KiB
	MathJax_Size1-Regular.woff	Dec 31, 2020, 3:48:39 PM	5.66 KiB
	MathJax_Size2-Regular.woff	Dec 31, 2020, 3:48:39 PM	5.34 KiB
	MathJax_Size3-Regular.woff	Dec 31, 2020, 3:48:39 PM	3.17 KiB
	MathJax_Size4-Regular.woff	Dec 31, 2020, 3:48:39 PM	5.03 KiB
	MathJax_Typewriter-Regular.woff	Dec 31, 2020, 3:48:39 PM	17.19 KiB
	MathJax_Vector-Bold.woff	Dec 31, 2020, 3:48:39 PM	1.09 KiB
	MathJax_Vector-Regular.woff	Dec 31, 2020, 3:48:39 PM	1.11 KiB
	MathJax_Zero.woff	Dec 31, 2020, 3:48:39 PM	1.34 KiB
(all files in zip)