# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: b855363e3c43dba9d6703d8c8fee38062fc0b203
output_heap: 1309884e02500a30db4eed540cf53a13e4ed7691
input_heaps:
4595afb03e1f09e2fb0e3d35cf65a491a7b537d5
d3b8f1eb8eb9e490c4f891a0ca21373c1a3d6f0d
58d60c16f10054013246b4c3dd110babc21c3c20
8ee86664d2052bdc76259b663865893d98ce66a5


