# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ce8905067b4a50946a5b13dda533942b3ac8a17e
output_heap: 2ab6395e7f10f3852e217fd0f1622d357be14acf
input_heaps:
3edda0fb92271fc3d98db9fd8ef354f0e0f0aa1f
9b5239179dcfac295bcf1cf11d762d8b0e6bc3e3
91c1c9e9edab459ce62d0aceae1283cc3c035f10
eec8422d64aa0f5a5d3bbb883c9c7ef783458494


