# isabelle_session_info

session_name: HOL-Nonstandard_Analysis-Examples
sources: 41fd3f83205c1116383e53ba9de73bf4edb91c52
input_heaps:
b564835b5b464625a1b82b42a4c3075166c320e5
d2bcc57ca57fbf38c0fde973297a2a4eadc893b1
13fb713f3ef9772114dd7b95eb9f09b1d280a670
641dbb0db6bc38e9596527406f215bb65a4876e8
3e3be5d2792c4bcda73d41dc4a65c6ec77d6bb5d


