# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 8393ae640749223f2185c82ad8bcba7b0fe4681d
output_heap: 077b539f17d80c5df17c0c8825f02be12e52ca09
input_heaps:
d0812df67cfd8dfc9bc229af4d4de6a4003cc0c4
2541b922d46b619e0d5865be28cb87d13b9facb0
ae93bc16e6e158541fef6fda0961126710931c9c
20dd107fae6533664b8b2d9edcd40357a9e44e55


