# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 84ff92990961911e3bfa31ee829950eebe4e5a51
output_heap: 4f6c956278e55e51d7ac5f74134836c9f98fa5c2
input_heaps:
fa37635535c1a91559f94a7dc9acf81e08caa63c
108107ba6152a8567743bcd769d1dd970013adfa
7e4070d2ba524418af798ee984dfb220aaec7062
371a342228e22accac4312744e93c706d7b0e388


