# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: db936a116218a6888da16bddfe7ef403fb38ab31
uuid: e1717ea2-b1b3-4a3c-93ce-249b1c1d6779
input_heaps:
ee1695b43a8fe77536cccfe86ad7014a312d9166
7a95e250afebdd7d8092dfd99109def1a56b2f6c
a71e2f09edbee60409337b839d416122dea3b915
0f29a6d64af62cae9d8d38651f141bc9dd3431ee
00716ce1309b1d1191f1d8db9c7d0d3fd0bbc357


