# isabelle_session_info

session_name: Free-Boolean-Algebra
sources:
604e0cfa691479812da4652aff7aee1c24f64a3e
7d10024d78f73ff36febb1ab134a3c042ea09c23
e79a50293a173d35c3f5bd1ae1071e4a6f757ac4

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31


