# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: bae1204bf13c173703397574993b4aa2a2429a59
output_heap: 9a392794398daa9fece25ebd0c419823125480fd
input_heaps:
6c8c27efb0c8ebba6c08dd56f4b9bc33d58ea855
bd9e806d713320e48df8a9e586a2a05529fa70cc
83283116a2de2f1d51203015a8a0d42cef416071
63c3b05286952c0e4ed5fbe2abcf8bbefe8decb4


