# isabelle_session_info

session_name: Probabilistic_System_Zoo-BNFs
sources: a8ebe6d8bb53e199c978a49168d763dacceedb90
input_heaps:
45e41a8fbcd9f4808f564b4ac109f90cbe936189
a8336af3aa1836518dd1c451cea88a672f7fa43f
222c87d4dc14088ada0185e2f4a1a98f46f8f719


