# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6070d969110e7eb422f6933e6ac7ef0d0574a0a3
output_heap: 91617563e832e6d91dd0a4e0fb18ebb9f5ec52e8
input_heaps:
1f65d912f4f4034c3d90f597604aaec582095f4a
1eeb4b0d9c6d446062edef5701a7b107d157602c
a8a4ae616dd586ab46b93d4a5bb418dc8985882c
43fe5b5bc38cffbf01c8204289b016418881b84b


