# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: e154fc0ec06e8561def606045bc66670fde5a71b
output_heap: a15fd559c7a2d66c36f2fc9b117161a5134d3d76
input_heaps:
03c94d74b41243bde92728fc7ab986b0070bd24f
6d31f412d8e65da7615dd163568a2f61b1002bfc
2d4d3c6d714a38637584433ba64f9cacc8a1ec8d
713b49a5cfbf2ac1f5d4830ef29778895ed1a3eb


