# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 596521b52e0d49d045ced73b7141cf89f26d96d2
input_heaps:
869a160751489e38d92bc488b6a9dcc699746e87
eed706cf54cafa0d15cd7db269fa6af1ae023fe6
d251b107e77d771e8e05ce3a58c64cfe958e535d
0b367efb08c2551b011a9f151cc6d9dcb78c8e71
126494f90b8d1351a107d6439508080b03035acd


