# isabelle_session_info

session_name: SML
input_heaps: 76e60ab7be570c8f37ab4fbd0cc297599bd4212e
sources:
6b68b525cdc63f9cdb935d6322b5e9045e687917
7b02ab27e07ececa5a5f2861c7f7ea00ea6e6c21
ae5b33d4f8dcb3d973bc0ebf92772363ec8981a1
c9854cce0cf91f565b16ca598a38c7d4ecb13448
d826171ab4fc677612b2f18634a6eea0210ed315


