# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 21699c90620ee11f37a25a4b477f4aa464380fde
output_heap: 8db68afc51f40132a67dbf753f1c3e1b25d75fcb
input_heaps:
cc1b50b527d94b950d2d160697342c63f522975a
64e02d979687fadf0152a8264141e10032a6402e
a1303619027dd9d05e19ef095c6735f892219596
737216ce8d981fee0a389ad43829a03198ed0bc0


