# isabelle_session_info

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

input_heaps:
d2fbbb72014e26de66d280d7be7d08deaaabe52f
8cba64bc01798dbdb9969f6de108dfc3cacddc4c
bc315400c916c04295cfa60734d24fe7f303421b


