# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: b522a8fba59dba71dba2e4141f3fe5b9e05e9dbf
output_heap: eb03c30d729e510f43638407fc9c202c1ee512d0
input_heaps:
fa217b500e43b49079262f25873831dd0a8ef4ee
4e08b3233e551cd4b2f5bc84a0c99e19e4f4e2c0
7187a012a9081396fca1bb36038e11b2c5517504
04acf23d83e30b7358e1f8b218c1af71f1ea7ec6


