# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: f850a7c444a36435d401b38f75a905a5e9d0a529
output_heap: bd24f747ff9e6ac9733f6e3cb1d0eeedd805f9ce
uuid: 0e8980c1-5e99-4296-8ec0-53fb1e7f614c
input_heaps:
47fe89a0b57a84789780bce1b7c17bef3c40f2cc
7f2d39404b813f8aab00b5b6b90da9cc0b8af993
e37b46de3b404cbdb3c5bc61b92145f4f14cc7e2
1ab2afd6c50137fdd5e574d465ca263c27673dba


