# isabelle_session_info

session_name: MonoBoolTranAlgebra
sources:
11684b37621ca381595214a6421fd33c6fbca574
72e9d2c102586c27517df7fa6558aa91fb3a1df9
af4aac2755d20e3b96287a0c09947ca8ebfd5e0d
bead72b197f271ef4dc15454f4b8e8056c794583
d059e620aa6ac9520de49e5c8cc45d50a113721b
f4d333d5486320d9645066cfd4becbb8fac84a73
fb8433826f1694718a1755d0eff1ea067836d684

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
3ac763fa6d7e2a3d4f216a97ce91d0c3771e399d


