# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 9636ed86d75ebf872d6b1afc861acbe0de9bcdc1
output_heap: 3248c216eb84f7b1826757ac6a0c97452017ec37
input_heaps:
3a3f17a4e13c09032ff1d9490f442ddf7d03ef10
4c8c1f181a77f6728d263aba6fdf1897c029c916
349cd2b1812f5743b9dba24f0cb217f541b1519b
5613b758d6cb76dd2805c78035585d1c943d75a7


