# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 3c251d174196cbd80863b62dd5f2657e5a4cc7b0
output_heap: 48b42c45fb76139f596af31d24e7af1c71db6738
input_heaps:
cc4f324134101a29125fabe50ef51b536e28ea56
047d2e97f704b6e2b320b2d6445d72a0e1374246
021d9f5287dd73a852a03bc175301faa0364411c
698ea6359701737d1f384c0e6ca92edbf2ec8773


