# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6ac5a8e42be236e902d17bdfac6d23ce07f7184e
output_heap: 87ad091bc1306ea577dc8c03bdc2a6f76e5a2ffe
input_heaps:
32d8b78be6fa140307baea2939db20f85a094691
8bb7d77eead14d2eb9ed37ac5bfe1ca981af69aa
409ec20d14bb87ba8f8be8b810ff030f5914e8c3
3918d3243e88f00dccf9d087cabd1df434edf4b8


