# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 1e6eda91f67d5d4c6958e09babd87ae1dd17b86c
output_heap: a3e8bd4c4a098102deae945248419399c18d2c00
input_heaps:
73b97324401a390af5292cba94f0564c556fe305
6001243685746f1a1a24fa4ab39f70a8f5ce39cb
8b58379d670d6dfa674d643467997074641663ae
38d02128dfd62a5cc87aa673452e3f247fd78f31


