# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: 2a24daabc18f3bd0c2bb3b56b316a1c763cb1fa1
output_heap: f943e098c92546e7b1d1d7c0e3521385565c8416
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
3eb7c68d6e834ba5513637798ddd089d7ebc1253
0bbb80cce0914e272b2dc75eb351ae48ec09b263


