# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: ab595335b0cc01d4f640b72bab695c2eb96946ab
uuid: 00f2e466-5ea6-4b04-8d67-eb2d1d13beb2
input_heaps:
d71e8b83f911dc6711df0d8e4f64597e847d6e09
23b6e28f27b54d8366ddb98ad7cf08dec46a808a
2636e013e9d0d8bdf68783e1e7e7195b7188d2c3
c3cb8228dc5f170e59c8abef37f4fa2512e6ea1b
c0c295f6403db8d13c927754ccd7871aac25b521


