# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: cdd25d9fdf4b19e26e40a4f3031d8fc02908faa0
uuid: f5d52b6d-d3b4-4c11-aaa4-ede277ece3c0
input_heaps:
9f1ff5333dab6ca9f4b94cb84f910098ee70abfd
d29381ace5f57e0cc9393a9203c0ee853d6e55f5
45fb46239bed9edfa44deefd0331bb6c9b29cb46
df6e26d76e3eec4055d8c33984982228526f4cbe
5f5e07b2207a5fe6f8044fd76ef12a1f3f2b47a9


