# isabelle_session_info

session_name: Typeclass_Hierarchy
sources: d19c8db43f812192fa65049bc5202146d4aac2ab
input_heaps:
e73c8f63bd95850d065fbfafb34179614f242f89
69a950643537831e45281aa33a261ce80ba0e395
ff25dd5f57deaab00a5a778194aefc56cb158196
3da5511854569bd0700c89a8decad7cc01d358ac


