# isabelle_session_info

session_name: MSO_Examples
sources: 4681dd29542bffbba2e6c36e89c3c93eff21ac22
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
d2dc728d07c22f92ab27a0d0d8ebc87812206d2a


