# isabelle_session_info

session_name: Typeclass_Hierarchy
sources: 47a26b4c21c5a103da250bb8ac379a720a2e410e
input_heaps:
848658d617e1d31408814b70d854f0969b4d3dd4
982c966f6e75dd78217f02ee347fdcbadf6f26c2
d917d16ccc38ba570c12297f3bb3196d70f93486
a9327b3465ad5d69482b6b3b91cea19b9925e652


