# isabelle_session_info

session_name: Regular_Algebras
sources: c83a30d426cb0a2086ade250e4f95b4d8ab4a517
input_heaps:
f4bc8d73b6c64716a5747e042c7c9f50e33b4d9a
a975b996cb0122f4bbc0d4d5892986a1c87209c0
350191867ab184cf5d3a7e6646adbe4bd9dcb39b
3e0f9746da7a5ac16a8e2e3636ac976453bb297d


