# isabelle_session_info

session_name: Probabilistic_System_Zoo-BNFs
sources: ec37c42f7a140cd3ae1f001853deb503aa96f7af
input_heaps:
adf620958a483c5d99eb8b585d74e10e62aa36e9
592c3e8fc1a619dd78c917b8e580c01545553e05
1d8dc5a6f18b5891bdad33aabcee6ee4234451d6


