# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
output_heap: ce912abd8a0725781b8ded197f4c4aa9cd1c9d68
sources:
53d19ad1b3c56b274b001da0e02e9919b3ec5b3e
923347dea834937d0402a03359cf28ce8b41080b
caacb35c29703bbfaf97def2c6a4d89fb8afad08
fd2b02dded527fdedfb330e24b0df02361aff2bb

input_heaps:
76e60ab7be570c8f37ab4fbd0cc297599bd4212e
75f08b6f45353080735e360691a96b11d33f8575
4113b3ffb31b40b1c0c2e73ef8640203db6d0ade


