# isabelle_session_info

session_name: Real_Impl
sources: dde421e17866d7ac6ee573dbc67ffab46e4a027e
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
27638859d3581338a14773da3f5cd45c4e2a6773
2e653123100925f4e53e775fc9f01fa6cd31ea3b
7325d8b0827e4b5c0aae8afb0d14c6fb9042e119


