# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: ce39bb91560e9b0db3bad165da1b21b551aa44ac
output_heap: 079b2e044942226f344d6f31537bc0d405ca8bb3
input_heaps:
2a442dabf4b3c56f5ef63570355cf4d112862e5d
c838443c8c2354d6d1cdbcfd20c3d57dfd9fd4f7
c51ca0b954a003af5287facf81b8b4f1a05bc851
9afd89f18df8de74a5e0b118c220c00c53390ba0


