# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 6a23e33bbdec32999edbba7fa6f0f8a70dade870
output_heap: be324041c633dba7624227f5e7df8e60f588daa2
input_heaps:
c68b30ad566b49580fe13839f7a432f3076bf46c
c261812e8cc579b00fa6c102259eafdf6ed9acf2
5c42e8e60061297de4820761c0f5554d67ac5643
a91cd0f67ec0a37507b86840b88bca15d8c0603b


