# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 4c2d217bea79645fcea8f4b4e59e7d01d9a771ea
output_heap: 8149308c511dbabc1cef1248e4524a485a984c7f
input_heaps:
47e3a0c9c4e00d2e90772688cd89601e0e76e6c5
4089360610a005ee2f39c6e19f04260ef80d19a0
bee3a52192932400ac1f5e6de3ae2fbf79ab61dd
193861a3c439151aa82e352b18edb9494c31748e


