# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: d624cfadbf51e0110e445fd52d44765b6c80a35c
output_heap: cbce4f897be76858eb64c8b65fedecf25abed2a9
input_heaps:
f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b
35eaa225201857107e827622fdda13b757fd8deb
600e22bc2edc8056b332800032b4ed87cbe79023


