Cross Reference: /seL4-l4v-10.1.1/isabelle/Admin/MacOS/Resources/

Name		Date	Size
..		25-Jul-2019	7
en.lproj/	H	25-Jul-2019	3
isabelle.icns	H A D	25-Jul-2019	48.1 KiB
theory.icns	H A D	25-Jul-2019	40.1 KiB