# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 2c52f6cb8871b38708f5fa0288ceac95ab81c58b
uuid: 7697b835-b050-4677-8d83-38ccc8da5412
input_heaps:
6d690cd4904afc3b28afb37e78bce5c68e51dbbf
d608db88fa3d6d94fe9a1b191595fe6aa82e61d3
aebd6c76484da54bdd8bc867ee7bf6594438e960
5c740fb61b705d6bddb5b5a9bec9942dccf662c6
efa9578a1de41025d44f5a09a73b0a9c958be5d1


