Artifacts of isabelle-all #2081

	favicon.ico	Jun 28, 2020, 12:34:50 PM	1.37 KiB
	isabelle.png	Jun 28, 2020, 12:34:50 PM	13.42 KiB
	octobus+clever.png	Jun 28, 2020, 12:34:50 PM	68.31 KiB
(all files in zip)