# isabelle_session_info

session_name: Typeclass_Hierarchy_Basics
sources: be61debb2ba8f263f19647d76600c056fb3b6fa3
output_heap: 2476d9e08d853301bfd2afb9647a5f6bedc4ea61
input_heaps:
3fe17abdf9fa7db8d66f05d71667c93b38e5fadf
8e9bb4e670ef60c93ad8a51482f2cacfd3a804de
d423e696cbd8052390366debb40bea8c4171dfd4


