# isabelle_session_info

session_name: Compiling-Exceptions-Correctly
input_heaps: 9711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9
sources:
467997a9af48915d9ab50d94f601c8ead565deb3
892e8674c441f34e9e5ee16d6fabebe68fb2aa81
b83fb0bb410807c5afb5f5c6cbb20d7d30211ca7
bb087981173cb1966c3e6d3309cfafeac61c0149


