# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: e36fc021e6414086e172489c2c597c5613dccadb
output_heap: e861d66f6689b454a8b79fe0b7bf94b87b2c9b4e
input_heaps:
b4f0352ef26758d0b807242b0832bb09719f7d40
32f5edeff731c7afb4d63e2d21f4fc6ef1b3c6de
f228b9066c4332f0fb36022851fcb497ebc665dd
e83261c57728aa2f74ec52a32a0baf9c2415c696


