# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 203d6f579ba7c3de4f4482a1571161a2d6f5af9d
output_heap: cc50728a8e410af8e6925a367c7c3d79bdd759e1
input_heaps:
80ccdbdf883f78417e58a6fe9077611957b4c9ec
4a724b2f7f58518ca013d3dea386ca861d7ad01e
b47c0da2740d0e619c7c8baad70553ddea4d23eb
0c89b09e98d150155052d37cab3261a66c5bcd43


