Artifacts of isabelle-repo-afp #1219

	afp/web
	heaps/polyml-5.6_x86_64-linux/log
	dependencies.json	Oct 17, 2017, 2:15:24 PM	46.17 KiB
	status.json	Oct 14, 2017, 10:27:55 PM	17.26 KiB
(all files in zip)