# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: e2194b749b954e0d69c036f7275143182ced2f87
output_heap: 770d80e22b4dba55adeabb373da6d3cdb4736074
input_heaps:
758b729ccbfa98531a6eb6776e66f1a1a3ec610c
92ab57e63ee297556fbd9e43386fc819dd331643
a016a9e1536ff6a84fdfb25cc3c154425d9e666c
11672f8c4139374b80528b6490b6624c4487d09c


