# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: c356cbf79403a8d1998a99261e11950ce63a1fad
output_heap: 702e7eaefacee62cd4eef57c102e919c5742b657
input_heaps:
38ce6d77816dc6421972ade4a9943105b7b0b5cc
8ea3fe9baa62582f6e3bd05adafc5e28dcf02c7b
c83e85b8b3aea26608573b0e9fa52e8d057fabdb
03fcbe7ba30c5c343b7058a54798b152d552607a


