# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 092d1b04d430901567148361f8c6fcfa19a41757
output_heap: c81eeffeb8c8255ed2298b4260114811361e0c3f
input_heaps:
8a6a1967a85148d05149fc8f258f22e5ae5ca538
5117ce8f6723f2ccc7d4abf78308ec3ff8c833f8
fd08f13db768b398fd5377aed413b6cd35c94895
86d4ae0a634c366ac10e90fbd5d777e67e0a8655


