# isabelle_session_info

session_name: Free-Boolean-Algebra
sources:
604e0cfa691479812da4652aff7aee1c24f64a3e
e79a50293a173d35c3f5bd1ae1071e4a6f757ac4
ee7f67872e9c58a155bab549f35199e43a6d3519

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a


