# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 02412364a8142b70b4e764eab32e6751ae6e81cd
output_heap: 3689ea4c1d28e8d5ae431ee24e41e98587735d0a
input_heaps:
cbf32b635c328a6095a45f5c01bb1adf119ee7c0
bd89f790ae831acf5d43976dcc41799a9f93a1c7
bd84e8a64af63f81a84fe8ce680a7bbb7edb1778
6b320057afda090b1811986f13981d97a4d36abc


