# isabelle_session_info

session_name: Lam-ml-Normalization
sources: 3778f77cf0e6923aaee126924a3b1798c0b23c98
input_heaps:
e9a2742a9719f5ffc5f20b8afc6477c5b3ed39a9
dc09a39d76722c2f6a77403e12e7aac18c8f9fa4
f5b83af2315d0f46343659d2440ddab174d5564e


