# isabelle_session_info

session_name: Subset_Boolean_Algebras
sources: 1104dee8c680ce03d2803d26aa553a60e0df1730
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
16a642fd9a9240db4b35c89e1e8f1690b1ceabc9


