# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 16986b0f74f4d5e57911a3ec688c626faa5cc12b
output_heap: 7016df9e0e10385cafdd738ba7631cae5946a31f
input_heaps:
62b46d030507eff717bda6aaba560c4c46c9bcf8
728829bd792d2c691813ae1727b2f161c6b300e4
6936f50eab0d036301e4d9070b064deb9e87086a
ee86d6f035f2071b6943de51ba75d19a32062537


