# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: cc5fa3a42d089ed3782c4c7754dc9a35d08469ec
output_heap: 3370684c00629a946e02df7cabe8b79643487bd6
input_heaps:
f79dcaa1c9ac424b2dc8d1e27a0e09517d26ade4
eb37e5ba364e75f2c586fe34fbb117952048030f
b5b9691cdcaffa7d51d03b456bd04c81fd8acf86
dcd3d0ca069f4c7933f430b9a06690b388e176ae


