# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 4540bb284a80339d28d8555a2b069e9c54d33625
output_heap: 8367dc0053b601f94043b6928e9a9ec02e75df1b
input_heaps:
854150d242a026a9a55d66c1a84d9e6fcd361b2f
4058a9d1c4ae0ea2523ff722e5dba8fe58289abf
c2416a6c71477c6efe9a104cd5970825d3ae4174
9d82c558a4f01733036d7ffc075e906c1647a730


