# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 3d84b1164e833a6415ae4cf6412ac515acf05609
output_heap: fb8f416ff927f1ccadfc1492ce63d33aa3b1be99
input_heaps:
0ca5864f4aca6546754eb1e7da0e2085c3f4c937
a0786084c37e397f68aa183c1faa4d9f91f1d814
d9613220b821884d990390ab1cfb537ea1558912
d1500e5f92e061f0a426c2de260ce923efc1883c


