# isabelle_session_info

session_name: Regular_Algebras
sources: 7cd2c6c7b5f50e29019e392cf7dbc6f051c97176
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
a29a84bba8aa29c804c447ecf6bc83360b3be33c
2199e330ac59e6d168064afaf1a6cceacea7ddf7
4bf0e95cb0e4dbfc1155448ad46133e11630c39e


