# isabelle_session_info

session_name: HOL-Quotient_Examples
sources: 04614497340444a7c57ad04f02746c6bcb428bcb
input_heaps:
0e3f5d7770b79d46052d8a53d0fb4bd743cd8681
265218b52b747aa88e85337254de8e8db5ae0fcc
8502e37319086bef6844d5f7c4f56a72936c3546
d6b4129d46ed56ca837f81d13f5546e35175b600
9393c7322ee715ea53e663f194fa60f17a542290


