# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 8dc4bd822b5696c47f5f5c09d3280165110aac15
input_heaps:
632d8c95ad4bd2d68bd3c1d2a41b16c33fd52fdf
ca6f8106185d335e0987e63132ec96cba44ad44f
999dc9fb1a79bc2556ab1fa66a674af162d487f9
6690aad47960acfb244f115dfa7715784c8a62c6
8fd451e126028f514632351bfe775e37e4f41fbb


