# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: 7bd111330c37ef399782fe31215c2587560405c6
output_heap: ac676a264c66cd32470a4ac71717d59467f0cb2d
input_heaps:
3e7cae349853bb3f654071d127673716b1e97131
e76faa548233303457fe1f8acd3f956c35127c42
3a549c94b5edcef607319afe3cf665b558a14979


