# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: fb86126ca465963d7de62cff020650db544b0087
output_heap: 425cf5fdd8d6fedb95df1d8b186586e8e59d1d0e
input_heaps:
6f2ea6ab0b5842682397ebbb65f675c6588578c2
e101bd57939f33c881a2cb79f6e6b917cc005de1
f35d613e91298ed96af573ceee500580887c6bd5


