040000 tree 9842ca3eac26900be1f095dd4c4aada3caf76418	Isabelle
100644 blob 9536f4ccaa631b7c4d53dfceef05c91c6d9ff594	Makefile
100644 blob 863b10db188ca59333e3361cf2860e44682978c7	Setup.hs
100644 blob f64ba12583c15aeff3adb15bf12fe86e038f32e2	isa-parser.cabal