# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: a314afe3383a9668360c4316d5701bebec304ece
input_heaps:
7550c920b2cc9944a8020bbe3af6b1258b7cd4a3
0dc49aec3e6c5b3bfd95bfc9315d5a2b5d8f359f
27d9d6c7462edf67ad4b309fcda8a163b77926fc
bd55c77a41ed5fad5e6fdaa7789ccb1a7068ad3d
5686ae47a6b45493ba220a197439ae0e70f2fe80


