# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 47c0d0da8e54bf8082f4010b0191fe2deee83378
output_heap: 0dc32b87aa46a489b7b6a57b63a1685499aed4b1
input_heaps:
06a212243e05c5a7c923bfbaeac4ec358ce57654
662b38046f2d6e283935bf15699cabd0ac2015c1
d74e70402ef84cd79637e953fc6465be1da04f54
ebe8bf028c2aea81156de15a8a1ebf0b4f2f60dd


