# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 0de0f73eee632842c3988cd2517c411a6f430dfc
output_heap: 11b7ba79ae6b9ab957b90aa7af7ed718f84f7832
input_heaps:
126b3e7210b637747af3583ce8c4a1dc1eb33510
86dd0d4663cffbd9fb337dc820aef4a636e6ff50
9d1fda2ac65fc497a7a2725eb08e28b40fe06fd9
1819c8f2482e499af267e2fefef4d80a1bd84ae7


