# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: f5393beccde5fc1e35fa31908e137a8b49713610
output_heap: 1d76dcd9530c505eaf311e6c4cfcbb8ba59f3f75
input_heaps:
924cb62a75d1c3d60e07b1a488e345253c696750
64c0a35383da60b6bd894ca4c0863bd690715557
9f0f3dad96a3276ae4c9f0cc4b683096215ac7b9
5d54b8506a9c1ae67855884b340fa31baea50df8


