# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 7c05308454ff798425ea83a44b9f7e63f6af911b
output_heap: e6d749d0ae6df3ff0d673e1872aa606774c172ce
input_heaps:
faa8b495fa5af96c8c56c0551bb90d9ba32b2c3f
d1d2032238c468abca1ef011649a34b8c92c2bd6
98929d9e7d4995174408b42dca330fcfe05f33e3
191f6935e399c5e739af5569f6d06afe4ab0afed


