# isabelle_session_info

session_name: MonoBoolTranAlgebra
sources: e7309ea939750e1ee61a99b32314a9f1db2d394b
input_heaps:
e3d3de0c105787f07c71be3f3e76dafbe7c86cef
26af89b7d57c7a15a989446f8ee1ff99d4928d87
f589a899ab465f72735ea903ba2160004bbcfcce


