# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9b851b14127901c4fb5eb5403711d8225a45535d
output_heap: 5dd0e8e18ef7bf7fe63b7551c3a20c213fc49dd3
input_heaps:
ba25d24cc2e874a8354e87d4e48e9c15efe344a0
e9bd04c0bbf88566c8b48c915dcdb7deced6c947
a8cd560d3d087e6b40e8aabd0db773374f47bd00
bb96bdf3044ad9da86f850f4a57c2eec1b2dd7f0


