# isabelle_session_info

session_name: Subset_Boolean_Algebras
sources: 2f750d4ee02dfa429e270c5b20c142cc047acfb1
input_heaps:
5a3b6f7b3e61510e7fd7048ff8c15610e20e90db
0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22
12b3741ad37fbbfbe548a5e72c0ad873c4053427


