# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 7f7ee123705939e2192208af514ad4a6d2692137
output_heap: e6352db9e468e61e30ebf764c7e88da496c1d890
input_heaps:
b32ce723b0c0669b9208cb20425fe0e449964a29
c8cabf77ca89781c09f0ffe7bdb60b594b63f54a
73d2440a63a8e1c384f5312f8260099dc1aa58ff
5e091ea38f79d3ab33f384b0ae231d2cf97784d8


