# isabelle_session_info

session_name: Typeclass_Hierarchy
sources: ea412a60c31bd173975607e28fba8d07bd5698cd
input_heaps:
ec38c69ced9abbac5955142ebffe44a25bf3d7c7
ec19d5c86bbd8efa8e997b4a18973411183d4768
742b25261ce81d8f6188861f487a997df56be7f7
5f24a0fbaa7a756049ba23450a7f7d77a97c729a


