# isabelle_session_info

session_name: Isar_Ref
sources: bbe46489728709d582b0e9da4fb3f44140d575b2
input_heaps:
681d5f7fc3e04aaa1f2e7e53f290c7539f21d962
760f5e67e9493faf5a17920ca125cc8fad05353b
91ecd66eb993ad7f2f4dcea6b812a916f274f32f


