# isabelle_session_info

session_name: HOL-Nonstandard_Analysis
sources: 2971a55c2357cf7225f6d52d23704c2779989244
output_heap: c34aaf7fd44d9c9c133d125b617a527c045a6452
input_heaps:
95c4642864e89459a385a24269c5aa8f5946b483
605907446b5d86ad2a2de8ad3bb7e34e9255c1ea
4ef54ecda64736bc3c09d52304102a44f01b4f98
3a07466fec050e7e22a28abafc44cac584a667db


