# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: d974ea6f2b3c6296f3c26d5171188664c36d8a83
output_heap: ee9dccc1001c4e35dfeaa9dfbca119828ebe2343
input_heaps:
94bc2aef97f45ab00e72704ecebbbcc992b99abf
3f8b5da88d1370194413e7da6a06ba328301b2ca
959e4463dceb0a3df7932d7506db177959ca17a2
883a474cb020b91f45ee2b5198298a6f15d08b1b


