# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: bd3cb3407283ed50aa42e8a4dbdd8a6d850ba0d3
output_heap: 684beb165519a00bdb974b678da1f11b66e31696
input_heaps:
59cfb008d82973f70adacd49cb832067f1ce6d0d
1b0de3ee83d720f252fb261525717bc582dfd961
3db8bef0ba6cbf368c1c26fea82a72ed95238bb5
3eff8132b933a53290b56d991b209627a6750e09


