# isabelle_session_info

session_name: MonoBoolTranAlgebra
sources: a7cfe613ebeb70336e2fd314670663c3da097d2f
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
f4ebab44072f5db796d8e3b5fee89a97cf8d7317


