# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ee88b83578e74c52c985da2ce24461061f9d8cf5
output_heap: 0d9a888dc7c77a01845d971dc5d78ef0bb3873c6
input_heaps:
ec38c69ced9abbac5955142ebffe44a25bf3d7c7
ec19d5c86bbd8efa8e997b4a18973411183d4768
742b25261ce81d8f6188861f487a997df56be7f7
5997cd4ba458135c77b383457d56cf17366e579f


